AQML Project

• Matteo Sacco
• Francesco Piro
• Pierriccardo Olivieri

Max 2-Sat Problem

• We implemented Max 2-Sat in the file Max2-Sat/Max2-Sat.ipynb.
• test_script.py tests all problems in testing_sat/benchmarks (both on simulated and real quantum annealer) printing the results in testing_sat/results/q_solutions.txt
• testing_sat/results/q_solutions.txt contains the bests solutions among all classical algorithms

Quantum Balanced k-means

• Presentation folder contains the presentation for Quantum Balanced k-means.