Search Results for author: Martin Kronegger

Found 1 papers, 0 papers with code

Conformant Planning as a Case Study of Incremental QBF Solving

no code implementations28 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.