Found 1 document(s)
Page 1 of 1
-
This work considers the use of analog quantum machines to solve the boolean satisfiability problem 3SAT by taking Quadratic Unconstrained Binary Optimization models (QUBO) as input. With the aim of using real quantum com...