)) genetic algorithm on random satisfiable 3-CNF formulas.
Maxim BuzdalovBenjamin DoerrPublished in: GECCO (2017)
Keyphrases
- cnf formula
- genetic algorithm
- np complete
- truth assignment
- max sat
- sat problem
- messy genetic algorithm
- randomly generated
- knowledge compilation
- davis putnam
- neural network
- randomly chosen
- propositional formulas
- conjunctive normal form
- multi objective
- satisfiability problem
- tabu search
- simulated annealing
- evolutionary algorithm
- constraint satisfaction problems
- particle swarm optimization
- sat solvers
- np hard
- phase transition
- random sat
- computational complexity