Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- search algorithm
- satisfiability testing
- propositional satisfiability
- sat solving
- phase transition
- distributed systems
- propositional logic
- max sat
- distributed processing
- boolean satisfiability
- multi agent
- stochastic local search
- orders of magnitude
- stochastic local search algorithms
- parallel database systems
- sat instances
- multiple independent
- variable ordering
- pseudo boolean constraints
- master slave
- parallel execution
- parallel implementation
- parallel processing
- fault tolerant
- distributed environment
- np complete
- peer to peer
- cooperative