ML Anthology

Solving QBF by Clause Selection

Mikolás Janota, João Marques-Silva
IJCAI 2015 pp. 325-331
/ijcai/2015/janota2015ijcai-solving/
IJCAI Semantic Scholar

Cite

Text

Janota and Marques-Silva. "Solving QBF by Clause Selection." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Janota and Marques-Silva. "Solving QBF by Clause Selection." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/janota2015ijcai-solving/)

BibTeX

@inproceedings{janota2015ijcai-solving,
  title     = {{Solving QBF by Clause Selection}},
  author    = {Janota, Mikolás and Marques-Silva, João},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {325-331},
  url       = {https://mlanthology.org/ijcai/2015/janota2015ijcai-solving/}
}