MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing.
Charles JordanLukasz KaiserFlorian LonsingMartina SeidlPublished in: SAT (2014)
Keyphrases
- knowledge sharing
- knowledge management
- information exchange
- knowledge transfer
- information sharing
- sharing knowledge
- incentive mechanism
- knowledge exchange
- tacit knowledge
- organizational learning
- e learning
- learning community
- story telling
- knowledge creation
- knowledge management systems
- inter organizational
- semi supervised
- information technology
- quantified boolean formulas
- decision making