On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT.
William Cruz-SantosGuillermo Morales-LunaPublished in: LATA (2010)
Keyphrases
- graph coloring
- satisfiability problem
- sat solvers
- sat problem
- data sets
- quantum computing
- morphological operators
- reduction method
- stochastic local search
- propositional satisfiability
- max sat
- stochastic local search algorithms
- quantum inspired
- decision diagrams
- quantum mechanics
- combinatorial problems
- phase transition
- rough sets
- neural network