16 citations · 16 across the 1 of their papers we have counts for
1 paper
Eti Chaudhary, Saurabh Joshi
Many modern-day solvers offer functionality for incremental SAT solving, which preserves the state of the solver across invocations. This is beneficial when multiple, closely relat…