ML Anthology

Widl, Magdalena

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