no code implementations • 28 May 2014 • Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
Our results are the first empirical study of incremental QBF solving in the context of planning and motivate its use in other application domains.