1. A gender-based genetic algorithm for the automatic configuration of algorithms;Ansótegui,2009
2. G. Audemard, L. Simon, Predicting learnt clauses quality in modern SAT solvers, in: [21], 2009, pp. 399–404.
3. Structural abstraction of software verification conditions;Babić,2007
4. Exploiting shared structure in software verification conditions;Babić,2008
5. D. Babić, F. Hutter, Spear theorem prover. Solver description, SAT competition, 2007.