Solving 3SAT and MIS Problems with Analog Quantum Machines.

Samuel Deleplanque

Published 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