Assessing Solution Quality of 3SAT on a Quantum Annealing Platform.
Thomas GaborSebastian ZielinskiSebastian FeldChristoph RochChristian SeidelFlorian NeukartIsabella GalterWolfgang MauererClaudia Linnhoff-PopienPublished in: QTOP@NetSys (2017)
Keyphrases
- solution quality
- simulated annealing
- computational effort
- test problems
- genetic algorithm
- test instances
- evolutionary algorithm
- optimal solution
- computational efficiency
- benchmark problems
- metaheuristic
- tabu search
- genetic algorithm ga
- satisfiability problem
- feasible solution
- benchmark instances
- sat solvers
- resource consumption
- combinatorial optimization
- tabu search algorithm
- search algorithm
- population diversity
- grasp with path relinking
- search procedure
- search strategies
- job shop scheduling problem
- sat problem
- phase transition
- dynamic programming
- anytime algorithms
- multi objective
- training data