Alan Mishchenko, Robert K. Brayton
SAT-Based Complete Don’t-Care Computation for Network Optimization
DATE, 2005.
@inproceedings{DATE-2005-MishchenkoB,
author = "Alan Mishchenko and Robert K. Brayton",
booktitle = "{Proceedings of the Ninth Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.2005.264",
isbn = "0-7695-2288-2",
pages = "412--417",
publisher = "{IEEE Computer Society}",
title = "{SAT-Based Complete Don’t-Care Computation for Network Optimization}",
year = 2005,
}