research
∙
08/25/2015
Unsatisfiable Cores and Lower Bounding for Constraint Programming
Constraint Programming (CP) solvers typically tackle optimization proble...
share
research
∙
05/08/2013
Unsatisfiable Cores for Constraint Programming
Constraint Programming (CP) solvers typically tackle optimization proble...
research
∙
08/15/2012
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint
Cumulative resource constraints can model scarce resources in scheduling...
research
∙
09/02/2010