This is the code for the paper "Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization".
We implemented the four 3-SAT to QUBO translations: Chancellor^(n+m), Choi^(3m), Nüsslein^(n+m) and Nüsslein^(2n+m)
You can run a demo using:
python main.py