Results 101 to 110 of about 1,567 (182)

Artificial dragonfly algorithm in the Hopfield neural network for optimal Exact Boolean k satisfiability representation. [PDF]

PLoS One, 2023
Ali GA, Abubakar H, Alzaeemi SAS, Almawgani AHM, Sulaiman A, Tay KG.   +5 more
europepmc   +1 more source

Satisfiability in composition-nominative logics

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

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

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

Sensors (Basel), 2023
Kim J, Park J.
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

Parameterized Complexities of Dominating and Independent Set Reconfiguration. [PDF]

Algorithmica
Bodlaender HL, Groenland C, Swennenhuis CMF.   +2 more
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

Combinatorial optimization with Kerr solitons. [PDF]

Sci Adv
Jin Y, Chauhan N, Zang J, Edwards B, Chaudhari P, Aflatouni F, Papp SB.   +6 more
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

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