Zobrazeno 1 - 10
of 1 388
pro vyhledávání: '"DPLL"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Jose J. Paulet, Luis F. LLana, Hernán Indíbil Calvo, Mauro Mezzini, Fernando Cuartero, Fernando L. Pelayo
Publikováno v:
Mathematics, Vol 11, Iss 8, p 1888 (2023)
The SAT problem is maybe one of the most famous NP-complete problems. This paper deals with the 3-SAT problem. We follow a sort of incremental strategy to save computational costs with respect to the classical quantum computing approach. We present a
Externí odkaz:
https://doaj.org/article/9d4ea93bb2ed459fb489125de18a5c97
Autor:
Mohieddin Moradi, Mehdi Ehsanian
Publikováno v:
Engineering Science and Technology, an International Journal, Vol 23, Iss 4, Pp 821-830 (2020)
The carrier tracking synchronizes the receiver and transmitter oscillators with each other’s and is adopted as a closed-loop structure known as the phase-locked loop (PLL). Fading, abrupt phase and frequency changes and relative speed between recei
Externí odkaz:
https://doaj.org/article/778dbf75fa6847fdbfad53f0e46a2859
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of the Egyptian Mathematical Society, Vol 27, Iss 1, Pp 1-10 (2019)
Abstract This paper introduces a new efficient satisfiability problem (SAT) solver, negative-literal Van der Waerden numbers SAT solver (NegVanSAT). It is a modification of the well-known SAT solver MINISAT where the constructor of the literals has b
Externí odkaz:
https://doaj.org/article/8a52a09c859146b3808ad0f5e1431cd2
Publikováno v:
Mathematics, Vol 10, Iss 13, p 2264 (2022)
We present a DPLL SAT solver, which we call TrueSAT, developed in the verification-enabled programming language Dafny. We have fully verified the functional correctness of our solver by constructing machine-checked proofs of its soundness, completene
Externí odkaz:
https://doaj.org/article/6923e3f10b7b46c6b259db9a8776be6e
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.