@inproceedings{,
	author          = {Norbert Manthey and Marijn J. H.  Heule and Armin Biere},
	title           = {Automated Reencoding of Boolean  Formulas},
	booktitle       = {Proceedings of Haifa Verification Conference 2012},
	year            = {2012},
	project         = {SAT},
	group           = {ALG}
}