Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs.

Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl

Browse the full AAAI paper archive.