Solving SAT problem with a multiagent evolutionary algorithm.
Jinshu LiHeyong WangJing LiuLicheng JiaoPublished in: IEEE Congress on Evolutionary Computation (2007)
Keyphrases
- sat problem
- sat instances
- np complete problems
- weighted max sat
- sat solving
- random sat instances
- multiagent evolutionary algorithm
- satisfiability problem
- stochastic local search
- solving hard
- sat solvers
- phase transition
- np complete
- boolean satisfiability
- max sat
- multi objective
- randomly generated
- davis putnam
- propositional satisfiability
- random sat
- boolean formula
- constraint satisfaction problems
- graph coloring
- search strategies
- neural network
- state space
- decision problems