Conformant Planning as a Case Study of Incremental QBF Solving.

Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler

Browse the full AISC paper archive.