6 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.AI2008★ 2 cited
Perfect Derived Propagators
Christian Schulte, Guido Tack
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi…
cs.AI2007★ 6 cited
Decomposition During Search for Propagation-Based Constraint Solvers
Martin Mann, Guido Tack, Sebastian Will
We describe decomposition during search (DDS), an integration of And/Or tree search into propagation-based constraint solvers. The presented search algorithm dynamically decomposes…