@inproceedings { BS09,
	title = {A Scalable Decision Procedure for Fixed-Width Bit-Vectors},
	booktitle = {International Conference of Computer Aided Design (ICCAD)},
	year = {2009},
	publisher = {ACM},
	organization = {ACM},
	address = {San Jose (CA)},
	author = {Roberto Bruttomesso and  Natasha Sharygina}
}