@article{,
	author          = {Marijn J.H. Heule and Hans van Maaren},
	title           = {Parallel SAT Solving using Bit-level Operations},
	journal         = {Journal on Satisfiability, Boolean Modeling and Computation},
	year            = {2008},
	volume          = {4},
	pages           = {99-116},
	issn            = {1574-0617},
	url             = {http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_6_Heule.pdf},
	project         = {SAT},
	group           = {ALG}
}