21 citations · 54 across the 5 of their papers we have counts for
1 paper · 1 filter
Uwe Egly, Martin Kronegger, Florian Lonsing +1
We consider planning with uncertainty in the initial state as a case study of incremental quantified Boolean formula (QBF) solving. We report on experiments with a workflow to incr…