200 citations · 450 across the 51 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.AI2012
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…
cs.AI2012
Search Combinators
Tom Schrijvers, Guido Tack, Pieter Wuille +2
The ability to model search in a constraint solver can be an essential asset for solving combinatorial problems. However, existing infrastructure for defining search heuristics is…