Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving.

Uwe Egly, Florian Lonsing, Magdalena Widl

Browse the full LPAR paper archive.