@inproceedings{HadEtAl-CAV-14,
	Author = {Liana Hadarean and Clark Barrett and Dejan Jovanovi\'{c} and Cesare Tinelli and Kshitij Bansal},
	Booktitle = {Proceedings of the 26th International Conference on Computer Aided Verification},
	Editor = {Armin Biere and Roderick Bloem},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A Tale of Two Solver: Eager and Lazy Approaches to Bit-vectors},
	Volume = {8559},
	Year = {2014}}