activity
20102015
most citedSolving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation

9 citations · 10 across the 4 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

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…