Results 71 to 80 of about 1,182 (134)

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

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

Efficient optimization with higher-order ising machines. [PDF]

Nat Commun, 2023
Bybee C, Kleyko D, Nikonov DE, Khosrowshahi A, Olshausen BA, Sommer FT.   +5 more
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

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

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

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

Commun Psychol
Doroc K, Yadav N, Murawski C.
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

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