ML Anthology

Balabanov, Valeriy

1 publications

AAAI 2015 Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl