News
   New collaboration
   6th Workshop on Constraints in Formal Verification '09
   11th International Symposium on Artificial Intelligence and Mathematics
   11th International Symposium on the Theory and Applications of Satisfiability Testing
   Handbook of Satisfiability