Solving boolean satisfiability problems with the quantum approximate optimization algorithm

This is the repository for the paper arXiv:2208.06909.

The data is not included in this repository and must be downloaded separately from the Zenodo repository. The tarball must then be unpacked at the root of this repository.

Figures from the paper can be reproduced running this notebook.