@article{march_dl,
	author          = {Marijn J.H. Heule and Hans van Maaren},
	title           = {March_dl: Adding Adaptive Heuristics and a New Branching Strategy},
	journal         = {Journal on Satisfiability, Boolean Modeling and Computation},
	year            = {2006},
	month           = {mar},
	volume          = {2},
	pages           = {47-59},
	url             = {http://www.st.ewi.tudelft.nl/~heule/publications/JSAT2_3_Heule.pdf},
	project         = {SAT},
	group           = {ALG}
}