Concurrent-distributed programming techniques for SAT using DPLL-stålmarck.
G. SripriyaAlan BundyAlan SmaillPublished in: HPCS (2009)
Keyphrases
- sat solvers
- sat solving
- propositional satisfiability
- sat problem
- sat instances
- max sat
- clause learning
- concurrent execution
- distributed systems
- satisfiability problem
- np complete
- boolean satisfiability
- peer to peer
- concurrent programming
- phase transition
- concurrent processes
- orders of magnitude
- stochastic local search algorithms
- distributed environment
- mobile agents
- metaheuristic
- dynamically created
- davis putnam logemann loveland
- multi agent
- tree search
- programming environment
- search strategies
- branch and bound
- first order logic
- programming language
- cooperative