1. A gender-based genetic algorithm for the automatic configuration of solvers;Ansotegui,2009
2. Predicting learnt clauses quality in modern sat solvers;Audemard,2009
3. Effective preprocessing with hyper-resolution and equality reduction;Bacchus,2003
4. Improvement strategies for the f-race algorithm: sampling design and iterative refinement;Balaprakash,2007
5. Improving stochastic local search for sat with a new probability distribution;Balint,2010