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]