Local search for distributed SAT with complex local problems.
Katsutoshi HirayamaMakoto YokooPublished in: AAMAS (2002)
Keyphrases
- search algorithm
- cooperative
- search procedures
- sat solving
- solving complex
- combinatorial optimization
- satisfiability testing
- distributed systems
- optimization problems
- np complete
- orders of magnitude
- real world
- benchmark problems
- search problems
- propositional satisfiability
- search space
- high level
- complex real world problems
- neighborhood search
- global search
- branch and bound algorithm