Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings

Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

SAT 2005: Satisfiability Research in the Year 2005

Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Handbook of Satisfiability: Second Edition

Handbook of Satisfiability

Handbook of Constraint Programming