Hans Kleine Büning, K. Subramani, Xishun Zhao. Boolean Functions as Models for Quantified Boolean Formulas. Journal of Automated Reasoning, 39(1):49-75, 2007. [doi]
@article{BuningSZ07,
title = {Boolean Functions as Models for Quantified Boolean Formulas},
author = {Hans Kleine Büning and K. Subramani and Xishun Zhao},
year = {2007},
doi = {10.1007/s10817-007-9067-0},
url = {http://dx.doi.org/10.1007/s10817-007-9067-0},
researchr = {https://researchr.org/publication/BuningSZ07},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {39},
number = {1},
pages = {49-75},
}