On Solving Stack-Based Incremental Satisfiability Problems

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},
}