You have Guest access.
Log In
Volume 1 / 1996 - Volume 17 / 2012
415-442
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
Mark Liffiton, Maher Mneimneh, Inês Lynce, Zaher Andraus and João Marques-Silva, et al.
443-477
On implementing symmetry detection
C. Mears, M. Garcia de la Banda and M. Wallace
478-505
SymChaff: exploiting symmetry in a structure-aware satisfiability solver
Ashish Sabharwal
506-538
Dynamic structural symmetry breaking for constraint satisfaction problems
Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck and Magnus Ågren
539-581
Non-binary quantified CSP: algorithms and modelling
Peter Nightingale
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info