Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah. On Solving Stack-Based Incremental Satisfiability Problems. In ICCD. pages 379-382, 2000. [doi]
@inproceedings{KimWS00, title = {On Solving Stack-Based Incremental Satisfiability Problems}, author = {Joonyoung Kim and Jesse Whittemore and Karem A. Sakallah}, year = {2000}, url = {http://computer.org/proceedings/iccd/0801/08010379abs.htm}, tags = {rule-based, incremental}, researchr = {https://researchr.org/publication/KimWS00}, cites = {0}, citedby = {0}, pages = {379-382}, booktitle = {ICCD}, }