Results 131 to 140 of about 12,229,216 (240)

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

Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming

JACM, 1995
M. Goemans, David P. Williamson
semanticscholar   +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

MULTIPLE FOLDING OF REGULAR STRUCTURES VIA SOLVING LOGIC EQUATIONS

Informatika, 2016
The problem under consideration is to reduce the area of the layout of regular VLSI structures by means of their multiple folding. The method of solving the key problem of multiple folding, which is implementability checking of the folding set, is ...
L. D. Cheremisinova
doaj  

Advances in Quantum Computing. [PDF]

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

Genetic algorithms with exons and introns for the satisfiability problem

, 2013
V. Popov
semanticscholar   +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

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

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