Krishanu Debnath, Rajeev Murgai, Mayank Jain, Janet Olson
SAT-based redundancy removal
DATE, 2018.
@inproceedings{DATE-2018-DebnathMJO,
author = "Krishanu Debnath and Rajeev Murgai and Mayank Jain and Janet Olson",
booktitle = "{Proceedings of the 22nd Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.23919/DATE.2018.8342028",
isbn = "978-3-9819263-0-9",
pages = "315--318",
publisher = "{IEEE}",
title = "{SAT-based redundancy removal}",
year = 2018,
}