papers
Publications (6)
cs.AI2008
Decomposition During Search for Propagation-Based Constraint Solvers
Martin Mann, Guido Tack, Sebastian Will
cs.AI2012
Search Combinators
Tom Schrijvers, Guido Tack, Pieter Wuille +2
cs.AI2009
View-based Propagator Derivation
Christian Schulte, Guido Tack
cs.PL2016
MiniZinc with Strings
Roberto Amadini, Pierre Flener, Justin Pearson +3
cs.AI2008
Perfect Derived Propagators
Christian Schulte, Guido Tack
cs.AI2018
Solution Dominance over Constraint Satisfaction Problems
Tias Guns, Peter J. Stuckey, Guido Tack