Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah
Search-Based SAT Using Zero-Suppressed BDDs
DATE, 2002.
@inproceedings{DATE-2002-AloulMS, acmid = "874493", author = "Fadi A. Aloul and Maher N. Mneimneh and Karem A. Sakallah", booktitle = "{Proceedings of the Seventh Conference on Design, Automation and Test in Europe}", doi = "10.1109/DATE.2002.998438", isbn = "0-7695-1471-5", pages = "1082", publisher = "{IEEE Computer Society}", title = "{Search-Based SAT Using Zero-Suppressed BDDs}", year = 2002, }