1. Solving difficult SAT instances in the presence of symmetry;Aloul,2002
2. Parallelizing DPLL in Haskell;Berger,2013
3. Lazy tree splitting;Bergstrom,2010
4. Linear quantifier elimination as an abstract decision procedure;Bjørner,2010
5. Programming parallel algorithms;Blelloch;Commun. ACM,1996