Results 111 to 120 of about 44,054 (190)

Augmenting an electronic Ising machine to effectively solve boolean satisfiability. [PDF]

Sci Rep, 2023
Sharma A, Burns M, Hahn A, Huang M.
europepmc   +1 more source

Tautological formal explanations: does prior knowledge affect their satisfiability? [PDF]

Front Psychol, 2023
Aslanov I, Guerra E.
europepmc   +1 more source

Satisfiability in composition-nominative logics

Open Computer Science, 2012
Nikitchenko Mykola, Tymofieiev Valentyn
doaj   +1 more source

Enhancing Security of Web-Based IoT Services via XSS Vulnerability Detection. [PDF]

Sensors (Basel), 2023
Kim J, Park J.
europepmc   +1 more source

WGT: Tools and algorithms for recognizing, visualizing, and generating Wheeler graphs. [PDF]

iScience, 2023
Chao KH, Chen PW, Seshia SA, Langmead B.
europepmc   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]

Sensors (Basel), 2022
Zbrzezny AM, Zbrzezny A.
europepmc   +1 more source

Acute stress impairs decision-making at varying levels of decision complexity. [PDF]

Commun Psychol
Doroc K, Yadav N, Murawski C.
europepmc   +1 more source

Advances in Quantum Computing. [PDF]

Entropy (Basel), 2023
La Cour B.
europepmc   +1 more source

Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints. [PDF]

Proc Natl Acad Sci U S A
Schwardt J, Budich JC.
europepmc   +1 more source