@inproceedings{DATE-2009-KravetsM,
	author        = "Victor N. Kravets and Alan Mishchenko",
	booktitle     = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
	pages         = "1458--1463",
	publisher     = "{IEEE}",
	title         = "{Sequential logic synthesis using symbolic bi-decomposition}",
	year          = 2009,
}