- Tytuł:
- Parallel QBF Solving with Advanced Knowledge Sharing
- Autorzy:
-
Lewis, M.
Schubert, T.
Becker, B.
Marin, P.
Narizzano, M.
Giunchiglia, E. - Data publikacji:
- 2011
- Słowa kluczowe:
-
Quantified Boolean Formula (QBF)
parallel solving
knowledge sharing
MPI - Pokaż więcej
- Dostawca treści:
- BazTech