1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2015
Unsatisfiable Cores and Lower Bounding for Constraint Programming
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Constraint Programming (CP) solvers typically tackle optimization problems by repeatedly finding solutions to a problem while placing tighter and tighter bounds on the solution cos…
cs.LO2013★ 1 cited
Unsatisfiable Cores for Constraint Programming
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Constraint Programming (CP) solvers typically tackle optimization problems by repeatedly finding solutions to a problem while placing tighter and tighter bounds on the solution cos…