海量图书期刊资源,随时随地畅享阅读乐趣
Grand challenges for constraint programmingFreuder, Eugene C.; OâSullivan, Barry · Constraints · 2014
Lightweight dynamic symmetry breakingMears, Christopher; Garcia de la Banda, Maria; Demoen, Bart; Wallace, Mark · Constraints · 2014
Strategic decision making on complex systemsMilano, Michela; Lombardi, Michele · Constraints · 2014
Explaining circuit propagationFrancis, Kathryn Glenn; Stuckey, Peter J. · Constraints · 2014
Reformulation based MaxSAT robustnessMiquel Bofill,Dídac Busquets,Víctor Muñoz,Mateu Villaret · Constraints · 2013
Domain consistency with forbidden valuesYves Deville,Pascal Van Hentenryck,Jean-Baptiste Mairy · Constraints · 2013
Search combinatorsTom Schrijvers,Guido Tack,Pieter Wuille,Horst Samulowitz… · Constraints · 2013
Dominance breaking constraintsChu, Geoffrey; Stuckey, Peter J. · Constraints · 2015