Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs.
Sebastian ZielinskiMaximilian ZornThomas GaborSebastian FeldClaudia Linnhoff-PopienPublished in: CoRR (2024)
Keyphrases
- max sat
- evolutionary algorithm
- weighted max sat
- sat solvers
- multi objective
- simulated annealing
- lower bound
- tabu search
- search algorithm
- branch and bound
- branch and bound algorithm
- sat problem
- optimization problems
- maximum satisfiability
- satisfiability problem
- genetic algorithm
- unsatisfiable cores
- stochastic local search
- differential evolution
- search strategies
- constraint satisfaction
- variable ordering
- linear programming
- boolean satisfiability
- metaheuristic
- information retrieval systems
- cnf formula
- np hard
- cost function
- special case
- random sat instances