Bibliography

@inproceedings{bingol1987StablerDAC,
	Author = {Edward P. Stabler and Haluk Bingol},
	Booktitle = {Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, June 28 - July 1, 1987.},
	Date-Added = {2017-10-22 21:44:34 +0000},
	Date-Modified = {2017-10-22 23:24:10 +0000},
	Doi = {10.1145/37888.37979},
	Pages = {584--587},
	Timestamp = {Thu, 16 Mar 2017 13:48:25 +0100},
	Title = {Boolean Comparison by Simulation},
	Url = {http://doi.acm.org/10.1145/37888.37979},
	Year = {1987},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/37888.37979},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/37888.37979}}