Citing PyQBF

PyQBF was accepted for the 19th Int. Conference on Integrated Formal Methods. If you want to reference PyQBF in your scientific work, please use the following citation:

@inproceedings{pyqbf,
author       = {Mark Peyrer and Maximilian Heisinger and Martina Seidl},
title        = {PyQBF: A Python Framework for Solving Quantified Boolean Formulas},
booktitle    = {International Conference on Integrated Formal Methods},
series       = {Lecture Notes in Computer Science},
pages        = {279--287},
publisher    = {Springer},
year         = {2024},
}