Wynik wyszukiwania
Zapytanie: SPEŁNIALNOŚĆ FORMUŁ LOGICZNYCH
Liczba odnalezionych rekordów: 3



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/3
Nr opisu: 0000096128   
Introducing fuzzy default logic into WalkSAT algorithm.
[Aut.]: Andrzej Pułka, Adam Milik.
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.

spełnialność formuł logicznych ; CNF ; weryfikacja formalna ; wyszukiwarka heurystyczna ; badanie spełnialności logicznej

Boolean satisfiability ; CNF ; formal verification ; heuristic search ; SAT solving

2/3
Nr opisu: 0000095560   
Selection of search strategies for solving 3-SAT problems.
[Aut.]: Andrzej Pułka.
-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

badanie spełnialności logicznej ; weryfikacja formalna ; CNF ; spełnialność formuł logicznych

SAT solving ; formal verification ; CNF ; Boolean satisfiability

3/3
Nr opisu: 0000081575   
An effective SAT-solving mechanism with backtrack controlled by FDL.
[Aut.]: Andrzej Pułka.
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.

spełnialność formuł logicznych ; CNF ; weryfikacja formalna ; badanie spełnialności logicznej

Boolean satisfiability ; CNF ; formal verification ; SAT solving

stosując format:
Nowe wyszukiwanie