New Evolutionary Approaches for SAT Solving.
Madalina RaschipCornelius CroitoruCristian FrasinaruPublished in: ICTAI (2018)
Keyphrases
- sat solving
- evolutionary approaches
- genetic programming
- evolutionary computation
- scatter search
- sat solvers
- boolean satisfiability
- sat problem
- evolutionary algorithm
- vehicle routing problem
- computational intelligence
- genetic algorithm
- symmetry breaking
- artificial neural networks
- metaheuristic
- benchmark problems
- max sat
- scheduling problem
- propositional satisfiability
- probabilistic planning