Neighbourhood Clause Weight Redistribution in Local Search for SAT.
Abdelraouf IshtaiwiJohn ThorntonAbdul SattarDuc Nghia PhamPublished in: CP (2005)
Keyphrases
- satisfiability testing
- propositional logic
- stochastic local search
- search space
- search algorithm
- propositional satisfiability
- clause learning
- sat solvers
- search strategies
- satisfiability problem
- max sat
- search strategy
- unit propagation
- cnf formula
- sat solving
- total weight
- search procedures
- boolean satisfiability
- optimal solution
- np complete
- sat problem
- constraint programming