PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.
Matthew LewisPaolo MarinTobias SchubertMassimo NarizzanoBernd BeckerEnrico GiunchigliaPublished in: SAT (2009)
Keyphrases
- knowledge sharing
- sharing knowledge
- knowledge transfer
- knowledge management
- information exchange
- information sharing
- e learning
- distributed systems
- organizational learning
- share knowledge
- learning community
- social software
- multi agent
- story telling
- knowledge exchange
- inter organizational
- domain knowledge
- data sharing
- knowledge creation
- boolean formula
- information systems
- incentive mechanism
- data mining
- real world