Parallel SAT Solving using Bit-level Operations.

Marijn Heule Hans van Maaren Parallel SAT Solving using Bit-level Operations. 99-116 2008 4 JSAT 2-4 http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_6_Heule.pdf db/journals/jsat/jsat4.html#HeuleM08