Solving 3SAT and MIS Problems with Analog Quantum Machines.
Samuel DeleplanquePublished in: ICCSA (Workshops 1) (2023)
Keyphrases
- solving problems
- np complete problems
- sat solving
- solving complex
- optimization problems
- information systems
- np complete
- weighted max sat
- combinatorial optimization
- algebraic equations
- combinatorial problems
- solving hard
- search procedures
- convex quadratic programming
- graph coloring
- stochastic local search
- search problems
- phase transition
- orders of magnitude
- search algorithm