@inproceedings{,
	author          = {Marijn J.H. Heule and Hans van Maaren},
	title           = {From Idempotent Generalized Boolean Assignments to Multi-bit Search},
	booktitle       = {Theory and Applications of Satisfiability Testing - SAT 2007},
	publisher       = {Springer},
	year            = {2007},
	editor          = {Joao Marques-Silva and Karem A. Sakallah},
	volume          = {4501},
	series          = {Lecture Notes in Computer Science},
	pages           = {134-147},
	isbn            = {978-3-540-72787-3},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/idempotent.pdf},
	project         = {SAT},
	group           = {ALG}
}