Nikolaj Bjørner, Mikolás Janota, William Klieber. On Conflicts and Strategies in QBF. In Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov, editors, 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. Volume 35 of EPiC Series in Computing, pages 28-41, EasyChair, 2015. [doi]
@inproceedings{BjornerJK15,
title = {On Conflicts and Strategies in QBF},
author = {Nikolaj Bjørner and Mikolás Janota and William Klieber},
year = {2015},
url = {http://www.easychair.org/publications/paper/On_Conflicts_and_Strategies_in_QBF},
researchr = {https://researchr.org/publication/BjornerJK15},
cites = {0},
citedby = {0},
pages = {28-41},
booktitle = {20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015},
editor = {Ansgar Fehnker and Annabelle McIver and Geoff Sutcliffe and Andrei Voronkov},
volume = {35},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}