1 paper
Till Schnittka, Julie Maria Raju, Abhoy Kole +1
The Quantum Approximate Optimization Algorithm (QAOA) is a promising variational approach for solving Boolean satisfiability (SAT) problems. Existing SAT-to-QAOA workflows first tr…