- Tytuł:
- An effective SAT-Solving mechanism with backtrack controlled by FDL
- Autorzy:
- Pułka, A.
- Data publikacji:
- 2011
- Słowa kluczowe:
-
badanie spełnialności logicznej
weryfikacja formalna
logiczne formuły w postaci CNF
SAT solving
formal verification
CNF
Boolean satisfiability - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł