A Genetic Algorithm for Probabilistic SAT Problem.
Zoran OgnjanovicUros MidicJozef KraticaPublished in: ICAISC (2004)
Keyphrases
- sat problem
- genetic algorithm
- satisfiability problem
- np complete
- sat solvers
- boolean satisfiability
- max sat
- phase transition
- sat instances
- randomly generated
- probabilistic planning
- constraint satisfaction problems
- random sat instances
- probabilistic model
- bayesian networks
- decision problems
- tabu search
- metaheuristic
- stochastic local search
- sat solving
- simulated annealing
- propositional satisfiability
- evolutionary algorithm
- search algorithm
- maximum satisfiability