Repository dedicated to variational quantum circuit solutions for boolean satisfiability problems (k-SAT). Currently focusing on QAOA with TensorFlow Quantum.
The file random_sat.ipynb contains the best worked example, with random generated CNFs.
rafaeleb/kSAT
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|