9 citations · 26 across the 13 of their papers we have counts for
1 paper · 2 filters
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…