Wynik wyszukiwania
Zapytanie: CNF
Liczba odnalezionych rekordów: 4



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/4
Nr opisu: 0000096128
Tytuł oryginału: Introducing fuzzy default logic into WalkSAT algorithm.
Autorzy: Andrzej Pułka, Adam Milik.
Źródło: W: 2014 International Conference on Signals and Electronic Systems (ICSES), Poznań, Poland, 11-13 September 2014. Faculty of Electronics and Telecommunications. Poznan University of Technology. Poland. Piscataway : IEEE, 2014, s. 1-4, bibliogr. 13 poz.
ISBN: 978-1-4799-7009-4
Liczba arkuszy wydawniczych: 0,2
Bazy indeksujące publikację: Web of Science
DOI:
Słowa kluczowe polskie: spełnialność formuł logicznych ; CNF ; weryfikacja formalna ; wyszukiwarka heurystyczna ; badanie spełnialności logicznej
Słowa kluczowe angielskie: boolean satisfiability ; CNF ; formal verification ; heuristic search ; SAT solving
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: Z
Afiliacja: praca afiliowana w PŚl.
Dostęp on-line:


2/4
Nr opisu: 0000095560
Tytuł oryginału: Selection of search strategies for solving 3-SAT problems
Autorzy: Andrzej Pułka.
Źródło: -Int. J. Appl. Math. Comput. Sci. 2014 vol. 24 no. 2, s. 283-297, bibliogr. 23 poz.
Impact Factor: 1.227
Punktacja MNiSW: 25.000
p-ISSN: 1641-876X
DOI:
Słowa kluczowe polskie: badanie spełnialności logicznej ; weryfikacja formalna ; CNF ; spełnialność formuł logicznych
Słowa kluczowe angielskie: SAT solving ; formal verification ; CNF ; boolean satisfiability
Typ publikacji: A
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w PŚl.
Informacje o dostępie open-access: open-access-licence: CC-BY-NC-ND
Dostęp on-line:


3/4
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:


4/4
Nr opisu: 0000081575
Tytuł oryginału: An effective SAT-solving mechanism with backtrack controlled by FDL.
Autorzy: Andrzej Pułka.
Źródło: W: Mixed design of integrated circuits and systems. MIXDES 2011. Proceedings of the 18th international conference, Gliwice, Poland, 16-18 June 2011. [Dokument elektroniczy]. [Ed. by A. Napieralski]. Wrocław : Department of Microelectronics and Computer Science. Technical University of Łódź, 2011, dysk optyczny (CD-ROM) s. 252-257, bibliogr. 15 poz.
Organizator: Department of Microelectronics and Computer Science. Technical University of Łódź [et al.]
Słowa kluczowe polskie: spełnialność formuł logicznych ; CNF ; weryfikacja formalna ; badanie spełnialności logicznej
Słowa kluczowe angielskie: boolean satisfiability ; CNF ; formal verification ; SAT solving
Typ publikacji: RK
Język publikacji: ENG
Zasieg terytorialny: K
Afiliacja: praca afiliowana w PŚl.
Dostęp on-line:


stosując format:
Nowe wyszukiwanie