Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs.
Sebastian ZielinskiMaximilian ZornThomas GaborSebastian FeldClaudia Linnhoff-PopienPublished in: GECCO Companion (2024)
Keyphrases
- max sat
- evolutionary algorithm
- weighted max sat
- tabu search
- multi objective
- sat solvers
- simulated annealing
- lower bound
- branch and bound algorithm
- optimization problems
- sat problem
- branch and bound
- differential evolution
- search algorithm
- satisfiability problem
- variable ordering
- boolean satisfiability
- maximum satisfiability
- genetic algorithm
- stochastic local search
- max sat solver
- linear programming
- metaheuristic
- upper bound
- optimal solution
- inference rules
- constraint satisfaction
- search space
- learning algorithm
- neural network
- temporal logic
- traveling salesman problem
- column generation
- unsatisfiable cores