1. Aloul F, Ramani I, Markov I, Sakallah K (2002) PBS: a backtrack search pseudo-boolean solver. In: Proceeding of the 5th international conference on theory and applications of satisfiability testing
2. Anbulagan (2004) Extending unit propagation look-ahead of DPLL procedure. In: Proceeding of trends in artificial intelligence: 8th Pacific rim international conference on artificial intelligence, pp 173–182
3. Anbulagan A, Pham DN, Slaney J, Sattar A (2005) Old resolution meets modern stochastic local search, In: Proceedings of the AAAI-05, pp 354–359
4. Audemard G, Simon L (2007) Gunsat: a greedy local search algorithm for unsatisfiability. In: Proceeding of the international joint conference on artificial intelligence, pp 2256–2261
5. Audemard G, Le Berre D, Roussel O, Lynce I, Marques-Silva J (2003) OpenSAT: an open source SAT software project. In: Proceeding of international conference on theory and applications of satisfiability testing (SAT2003), pp 502–509