Open AccessEfficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs
Author(s) -
Valeriy Balabanov,
Jie-Hong R. Jiang,
Mikoláš Janota,
Magdalena Widl
Publication year - 2015
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9750
Subject(s) - mathematical proof , resolution (logic) , function (biology) , algorithm , mathematics , computer science , true quantified boolean formula , polynomial , proof complexity , theoretical computer science , artificial intelligence , mathematical analysis , geometry , evolutionary biology , biology