A Dynamic Clause Specific Initial Weight Assignment for Solving Satisfiability Problems Using Local Search.
Abdelraouf IshtaiwiFeda AlShahwanNaser JamalWael HadiMuhammad AbuArqoubPublished in: Algorithms (2021)
Keyphrases
- satisfiability problem
- stochastic local search
- search algorithm
- solving hard
- graph coloring problems
- weight assignment
- np complete
- clause learning
- search procedures
- search space
- temporal logic
- phase transition
- sat instances
- combinatorial optimization
- constraint satisfaction problems
- finite domain
- mazurkiewicz traces
- genetic algorithm
- sat problem
- tabu search
- max sat
- theorem prover
- pattern recognition
- scheduling problem
- computational complexity