@phdthesis{,
	author          = {Marijn J.H. Heule},
	title           = {SmArT solving: Tools and techniques for satisfiability solvers},
	school          = {TU Delft},
	year            = {2008},
	tutor           = {Cees Witteveen},
	isbn            = {978-90-9022877-8},
	url             = {http://www.st.ewi.tudelft.nl/sat/theses/heule_phd.pdf},
	project         = {SAT},
	group           = {ALG}
}