Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Farid N. Najm, Magdy S. Abadir
Maximum circuit activity estimation using pseudo-boolean satisfiability
DATE, 2007.
@inproceedings{DATE-2007-MangassarianVSNA,
author = "Hratch Mangassarian and Andreas G. Veneris and Sean Safarpour and Farid N. Najm and Magdy S. Abadir",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266703",
isbn = "978-3-9810801-2-4",
pages = "1538--1543",
publisher = "{ACM}",
title = "{Maximum circuit activity estimation using pseudo-boolean satisfiability}",
year = 2007,
}