Backtrackable Inprocessing

Alexander Nadel

We introduce Backtrackable Inprocessing (BI), a framework that enables applying inprocessing under the current trail at any decision level, at any point during incremental SAT solv…