Evaluating logic gate constraints in local search for structured satisfiability problems.
M. A. Hakim NewtonMd. Masbaul AlamDuc Nghia PhamJohn ThorntonKaile SuAbdul SattarPublished in: Artif. Intell. Rev. (2021)
Keyphrases
- satisfiability problem
- search algorithm
- stochastic local search
- finite domain
- search procedures
- np complete
- phase transition
- temporal logic
- constraint satisfaction
- search space
- modal logic
- sat problem
- cl pc
- tabu search
- graph coloring problems
- coalition logic
- simulated annealing
- randomly generated
- search procedure
- search strategies
- constraint programming
- constraint solving
- constraint satisfaction problems
- automated reasoning
- optimal solution
- logical framework
- clause learning
- lower bound
- dynamic logic
- combinatorial optimization
- cellular automata
- orders of magnitude