3 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
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…