- Tytuł:
- The Solution of SAT Problems Using Ternary Vectors and Parallel Processing
- Autorzy:
-
Posthoff, C.
Steinbach, B. - Data publikacji:
- 2011
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
SAT solver
ternary vector
parallel processing
XBOOLE - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki