Eriksson et al. "Solving Quantified Boolean Formulas with Few Existential Variables." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Eriksson et al. "Solving Quantified Boolean Formulas with Few Existential Variables." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/eriksson2024ijcai-solving/)
BibTeX
@inproceedings{eriksson2024ijcai-solving,
title = {{Solving Quantified Boolean Formulas with Few Existential Variables}},
author = {Eriksson, Leif and Lagerkvist, Victor and Ordyniak, Sebastian and Osipov, George and Panolan, Fahad and Rychlicki, Mateusz},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {1889-1897},
url = {https://mlanthology.org/ijcai/2024/eriksson2024ijcai-solving/}
}