PaMira - A Parallel SAT Solver with Knowledge Sharing.
Tobias SchubertMatthew D. T. LewisBernd BeckerPublished in: MTV (2005)
Keyphrases
- knowledge sharing
- sat solvers
- sat solving
- knowledge transfer
- knowledge management
- orders of magnitude
- boolean satisfiability
- propositional satisfiability
- sat instances
- max sat
- search strategies
- information sharing
- sat problem
- information exchange
- organizational learning
- e learning
- knowledge exchange
- sharing knowledge
- constraint satisfaction
- share knowledge
- search space
- incentive mechanism
- story telling
- sat encodings
- customer knowledge
- phase transition
- heuristic search
- boolean formula
- data structure
- machine learning