Reduction-Based MAX-3SAT with Low Nonlinearity and Lattices Under Recombination.
Darrell WhitleyGabriela OchoaNoah FloydFrancisco ChicanoPublished in: EvoStar (2024)
Keyphrases
- max sat
- weighted max sat
- sat solvers
- search algorithm
- lower bound
- branch and bound algorithm
- tabu search
- satisfiability problem
- branch and bound
- sat problem
- maximum satisfiability
- boolean satisfiability
- constraint satisfaction
- linear programming
- stochastic local search
- max sat solver
- search space
- unsatisfiable cores
- np complete
- simulated annealing
- state space
- randomly generated
- dynamic programming
- cnf formula
- propositional satisfiability