2018 XCSP3 competition: sequential solvers tracks: search progress per solver
Quality of the solution as a function of time for solver OscaR - Conflict Ordering
2018-08-14
(complete)