Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl. Clauses Versus Gates in CEGAR-Based 2QBF Solving. In Adnan Darwiche, editor, Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. Volume WS-16-05 of AAAI Workshops, AAAI Press, 2016. [doi]
@inproceedings{BalabanovJMS16, title = {Clauses Versus Gates in CEGAR-Based 2QBF Solving}, author = {Valeriy Balabanov and Jie-Hong Roland Jiang and Alan Mishchenko and Christoph Scholl}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12660}, researchr = {https://researchr.org/publication/BalabanovJMS16}, cites = {0}, citedby = {0}, booktitle = {Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016}, editor = {Adnan Darwiche}, volume = {WS-16-05}, series = {AAAI Workshops}, publisher = {AAAI Press}, isbn = {978-1-57735-759-9}, }