9 citations · 10 across the 4 of their papers we have counts for
4 papers
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…
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…
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
Cumulative resource constraints can model scarce resources in scheduling problems or a dimension in packing and cutting problems. In order to efficiently solve such problems with a…
Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey +1
The technical report presents a generic exact solution approach for minimizing the project duration of the resource-constrained project scheduling problem with generalized preceden…