A quantum annealing approach for boolean satisfiability problem.
Juexiao SuTianheng TuLei HePublished in: DAC (2016)
Keyphrases
- simulated annealing
- quantum computing
- quantum computation
- quantum inspired
- sat solvers
- logic circuits
- quantum evolutionary algorithm
- probability ranking principle
- decision making
- digital libraries
- channel capacity
- data sets
- monte carlo
- quantum mechanics
- multiresolution
- evolutionary algorithm
- three dimensional
- decision trees
- genetic algorithm
- neural network