A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas

Goultiaeva et al. "A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-099

[Goultiaeva et al. "A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/goultiaeva2011ijcai-uniform/) doi:10.5591/978-1-57735-516-8/IJCAI11-099

@inproceedings{goultiaeva2011ijcai-uniform,
  title     = {{A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas}},
  author    = {Goultiaeva, Alexandra and Van Gelder, Allen and Bacchus, Fahiem},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {546-553},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-099},
  url       = {https://mlanthology.org/ijcai/2011/goultiaeva2011ijcai-uniform/}
}