- Tytuł:
- Selection of search strategies for solving 3-SAT problems
- Autorzy:
- Pułka, A.
- Data publikacji:
- 2014
- Słowa kluczowe:
-
SAT solving
formal verification
CNF
Boolean satisfiability
badanie spełnialności logicznej
weryfikacja formalna - Pokaż więcej
- Dostawca treści:
- BazTech