Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma
A semi-canonical form for sequential AIGs
DATE, 2013.
@inproceedings{DATE-2013-MishchenkoEBCCS,
acmid = "2485481",
author = "Alan Mishchenko and Niklas Eén and Robert K. Brayton and Michael L. Case and Pankaj Chauhan and Nikhil Sharma",
booktitle = "{Proceedings of the 17th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-4503-2153-2",
pages = "797--802",
publisher = "{EDA Consortium San Jose, CA, USA / ACM DL}",
title = "{A semi-canonical form for sequential AIGs}",
year = 2013,
}