Wynik wyszukiwania
Zapytanie: FUDASAT
Liczba odnalezionych rekordów: 1



Przejście do opcji zmiany formatu | Wyświetlenie wyników w wersji do druku | Pobranie pliku do edytora | Przesłanie wyników do modułu analizy | excel | Nowe wyszukiwanie
1/1
Nr opisu: 0000069619
Tytuł oryginału: An effective SAT-solving mechanism with backtrack controlled by FDL
Tytuł w wersji polskiej: Efektywny mechanizm kontroli spełnialności formuł logicznych z nawrotem sterowania logiką FDL
Autorzy: Andrzej Pułka.
Źródło: -Elektronika 2011 R. 52 nr 12, s. 21-25, bibliogr. 15 poz.
Punktacja MNiSW: 6.000
p-ISSN: 0033-2089
Słowa kluczowe polskie: badanie spełnialności logicznej ; weryfikacja formalna ; FUDASAT ; CNF
Słowa kluczowe angielskie: SAT solving ; formal verification ; FUDASAT ; CNF
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w PŚl.
Lokalizacja Źródła: PŚl. sygn. P.2411
Dostęp on-line:


stosując format:
Nowe wyszukiwanie