Machine learning for constraint solver design -- A case study for the alldifferent constraint

25 August 2010

Papers citing "Machine learning for constraint solver design -- A case study for the alldifferent constraint"

2 / 2 papers shown

Title
SATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Frank Hutter Holger H. Hoos Kevin Leyton-Brown 98 975 0 31 Oct 2011
Constraint solvers: An empirical evaluation of design decisions Lars Kotthoff 99 11 0 31 Jan 2010