1. Achterberg, T.: Conflict analysis in mixed integer programming. Discrete Optimization 4(1), 4–20 (2007); Special issue: Mixed Integer Programming
2. Achterberg, T.: Constraint Integer Programming. PhD thesis, Technische Universität Berlin (July 2007)
3. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: 21st IJCAI, Pasadena, CA, pp. 399–404 (July 2009)
4. Bacchus, F., Biere, A., Heule, M.: Personal Communication (2012)
5. Freeman, J.: Improvements to Propositional Satisfiability Search Algorithms. PhD thesis, University of Pennsylvania (1995)