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    = {19th International Conference on integrated Formal
                Methods (iFM), Manchester, United Kingdom, November
                13-15, Proceedings (to be published)},
series       = {Lecture Notes in Computer Science},
publisher    = {Springer},
year         = {2024},
}