Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

The State of the Art of Nurse Rostering

Edmund Burke, Patrick De Causmaecker, Greet Vanden Berghe et al. · Journal of Scheduling · 2004 · 916 citations · Full text

Nursing, Primary Care, Advanced Practice Nurse +5

Solving SAT and SAT Modulo Theories

Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · Journal of the ACM · 2006 · 766 citations

Decision Procedure, Engineering, Automated Reasoning +11

The SMT-LIB Standard Version 2.0

Clark Barrett, Aaron Stump, Cesare Tinelli · 2010 · 718 citations

Partial constraint satisfaction

Eugene C. Freuder, Richard J. Wallace · Artificial Intelligence · 1992 · 609 citations

Constraint Solving, Engineering, Constraint Satisfaction +7

The YICES SMT Solver

Bruno Dutertre, Leonardo de Moura · 2006 · 478 citations