On Solving Stack-Based Incremental Satisfiability Problems.

Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah

Browse the full ICCD paper archive.