Solving Sat in a Distributed Cloud: A Portfolio Approach.
Yanik NgokoChristophe CérinDenis TrystramPublished in: Int. J. Appl. Math. Comput. Sci. (2019)
Keyphrases
- distributed systems
- cooperative
- stochastic local search
- cloud computing
- distributed environment
- map reduce
- computing platform
- satisfiability problem
- boolean optimization
- distributed constraint satisfaction
- sat solvers
- decision making
- peer to peer
- multi agent
- solving problems
- computing environments
- model checking
- propositional satisfiability
- variable ordering
- sat solving
- search algorithm