Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez
Effective bounding techniques for solving unate and binate covering problems
DAC, 2005.
@inproceedings{DAC-2005-LiSB, author = "Xiao Yu Li and Matthias F. M. Stallmann and Franc Brglez", booktitle = "{Proceedings of the 42nd Design Automation Conference}", doi = "10.1145/1065579.1065682", isbn = "1-59593-058-2", pages = "385--390", publisher = "{ACM}", title = "{Effective bounding techniques for solving unate and binate covering problems}", year = 2005, }