%0 Conference Paper %1 conf/dac/WhittemoreKS01 %A Whittemore, Jesse %A Kim, Joonyoung %A Sakallah, Karem A. %B DAC %D 2001 %I ACM %K dblp %P 542-545 %T SATIRE: A New Incremental Satisfiability Engine. %U http://dblp.uni-trier.de/db/conf/dac/dac2001.html#WhittemoreKS01 %@ 1-58113-297-2

@inproceedings{conf/dac/WhittemoreKS01, added-at = {2018-11-06T00:00:00.000+0100}, author = {Whittemore, Jesse and Kim, Joonyoung and Sakallah, Karem A.}, biburl = {https://www.bibsonomy.org/bibtex/21d638e7e176a9346ca77cdc2b416f29a/dblp}, booktitle = {DAC}, crossref = {conf/dac/2001}, ee = {https://doi.org/10.1145/378239.379019}, interhash = {5849273f68460b703e7671c38e6b7d5a}, intrahash = {1d638e7e176a9346ca77cdc2b416f29a}, isbn = {1-58113-297-2}, keywords = {dblp}, pages = {542-545}, publisher = {ACM}, timestamp = {2018-11-07T15:12:46.000+0100}, title = {SATIRE: A New Incremental Satisfiability Engine.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2001.html#WhittemoreKS01}, year = 2001 }