3 citations · 6 across the 4 of their papers we have counts for
1 paper · 2 filters
Pierre Deransart
The generic trace format GenTra4CP has been defined in 2004 with the goal of becoming a standard trace format for the observation of constraint solvers over finite domains. It has…