Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
Parametric Representations of Boolean Constraints
DAC, 1999.
@inproceedings{DAC-1999-AagaardJS, author = "Mark Aagaard and Robert B. Jones and Carl-Johan H. Seger", booktitle = "{Proceedings of the 36th Design Automation Conference}", doi = "10.1145/309847.309968", pages = "402--407", publisher = "{ACM Press}", title = "{Parametric Representations of Boolean Constraints}", year = 1999, }