Knowledge Sharing in a Microcontroller based Parallel SAT Solver.
Tobias SchubertBernd BeckerPublished in: PDPTA (2005)
Keyphrases
- knowledge sharing
- sat solvers
- sat solving
- knowledge management
- orders of magnitude
- sat problem
- knowledge transfer
- search strategies
- constraint satisfaction
- boolean satisfiability
- information sharing
- information exchange
- sat instances
- propositional satisfiability
- e learning
- share knowledge
- search space
- sharing knowledge
- max sat
- customer knowledge
- knowledge exchange
- unsatisfiable cores
- organizational learning
- symmetry breaking
- information systems
- machine learning
- boolean formula
- constraint solver
- community members
- real world
- heuristic search
- incentive mechanism
- case study