9 citations · 26 across the 13 of their papers we have counts for
1 paper · 1 filter
Uwe Egly, Florian Lonsing, Johannes Oetsch
Incremental SAT and QBF solving potentially yields improvements when sequences of related formulas are solved. An incremental application is usually tailored towards some specific…