Assessing Solution Quality of 3SAT on a Quantum Annealing Platform.
Thomas GaborSebastian ZielinskiSebastian FeldChristoph RochChristian SeidelFlorian NeukartIsabella GalterWolfgang MauererClaudia Linnhoff-PopienPublished in: CoRR (2019)
Keyphrases
- solution quality
- simulated annealing
- computational effort
- test problems
- computational efficiency
- genetic algorithm
- test instances
- tabu search
- feasible solution
- sat solvers
- metaheuristic
- optimal solution
- sat problem
- benchmark problems
- evolutionary algorithm
- combinatorial optimization
- population diversity
- benchmark instances
- search procedure
- satisfiability problem
- genetic algorithm ga
- resource consumption
- distributed constraint optimization problems
- search strategies
- computationally efficient
- phase transition
- linear programming
- search procedures
- scheduling problem
- dynamic programming
- search algorithm