@inproceedings{,
	author          = {Marijn J. H. Heule, Joris E. van Zwieten, Mark Dufour and Hans van Maaren},
	title           = {March_eq: Implementing Additional Reasoning into an Efficient Lookahead Sat Solver},
	booktitle       = {SAT 2004},
	publisher       = {Springer},
	year            = {2005},
	editor          = {Holger H. Hoos and David G. Mitchell},
	volume          = {3542},
	series          = {Lecture Notes in Computer Science},
	pages           = {345--359},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/35420345.pdf},
	project         = {SAT},
	group           = {ALG}
}