https://123dok.net/document/qvl76e50-the-qbf-solver-aigsolve.html