Zobrazeno 1 - 10
of 4 733
pro vyhledávání: '"boolean satisfiability"'
Publikováno v:
PeerJ Computer Science, Vol 10, p e2169 (2024)
The Boolean satisfiability (SAT) problem exhibits different structural features in various domains. Neural network models can be used as more generalized algorithms that can be learned to solve specific problems based on different domain data than tr
Externí odkaz:
https://doaj.org/article/19f1fd8cd95d4aa38537b289df07f644
Publikováno v:
IEEE Access, Vol 12, Pp 119341-119349 (2024)
Bounded Model Checking (BMC) is one of the most prominent approaches used as a falsification engine, capable of identifying counterexamples of bounded length, in a scalable and sustainable way. Nevertheless, in the context of a portfolio-based verifi
Externí odkaz:
https://doaj.org/article/d9d4a4c92ca04fbfaa5b0ee6a20cb684
Publikováno v:
Entropy, Vol 26, Iss 10, p 875 (2024)
This paper aims to outline the effectiveness of modern universal gate quantum computers when utilizing different configurations to solve the B-SAT (Boolean satisfiability) problem. The quantum computing experiments were performed using Grover’s sea
Externí odkaz:
https://doaj.org/article/aae939a08b72415b9d5a3accea98800a
Publikováno v:
Automatika, Vol 64, Iss 4, Pp 1067-1071 (2023)
An adaptive real-time gate scheduling scheme for time perceptive stream or packet flow is proposed to improve the standards of Ultra Low Latency during data transmission. For highly dynamic network conditions, the conventional configuration scheme is
Externí odkaz:
https://doaj.org/article/3bebf414312c4ec9b24038d3eaf6d4c3
Publikováno v:
IEEE Access, Vol 11, Pp 120319-120333 (2023)
In this paper we describe a class of cryptographic guess-and-determine attacks which is based on the notion of a linearizing set. A linearizing set-based attack is applied to a system of Multivariate Quadratic equations (MQ) over $GF(2)$ field, which
Externí odkaz:
https://doaj.org/article/802348ddaee44846909b10d0549ea512
Publikováno v:
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits, Vol 9, Iss 1, Pp 12-20 (2023)
Dynamical systems can offer a novel non-Boolean approach to computing. Specifically, the natural minimization of energy in the system is a valuable property for minimizing the objective functions of combinatorial optimization problems, many of which
Externí odkaz:
https://doaj.org/article/0ea17351cd9d4b388fa66637bec52134
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.
Publikováno v:
IEEE Access, Vol 10, Pp 131592-131610 (2022)
Finite-state models are widely used in software engineering, especially in the development of control systems. In control applications, such models are often developed manually, which can make it difficult to keep them up to date. To simplify the mai
Externí odkaz:
https://doaj.org/article/09e48c8ad43a4aedb9787177b4c548e1