%0 Conference Paper %1 SATIRE %A Whittemore, J. %A Kim, J. %A Sakallah, K. %B Design Automation Conference %D 2001 %K 2001 SAT-solver incremental %P 542-545 %T SATIRE: A New Incremental Satisfiability Engine

@inproceedings{SATIRE, added-at = {2007-05-25T13:58:36.000+0200}, author = {Whittemore, J. and Kim, J. and Sakallah, K.}, biburl = {https://www.bibsonomy.org/bibtex/2222edacb2143308f4cb9cc22e02ef2bc/zeno}, booktitle = {Design Automation Conference}, description = {SAT}, interhash = {5849273f68460b703e7671c38e6b7d5a}, intrahash = {222edacb2143308f4cb9cc22e02ef2bc}, keywords = {2001 SAT-solver incremental}, language = {USenglish}, month = {June}, pages = {542-545}, pdf = {papers/2001/WhittemoreKimSakallah.pdf}, public = {no}, timestamp = {2007-07-25T15:22:08.000+0200}, title = {{SATIRE: A New Incremental Satisfiability Engine}}, year = 2001 }