Results 81 to 90 of about 1,182 (134)

Accelerating hybrid XOR-CNF Boolean satisfiability problems natively with in-memory computing. [PDF]

Nat Commun
Im H, Böhm F, Pedretti G, Kushida N, Noori M, Valiante E, Zhang X, Yang CW, Bhattacharya T, Sheng X, Ignowski J, Heittmann A, Strachan JP, Mohseni M, Beausoleil R, Vaerenbergh TV, Rozada I.   +16 more
europepmc   +1 more source

Advances in Quantum Computing. [PDF]

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

Testing Quantum Satisfiability. [PDF]

Commun Math Phys
Montanaro A, Shao C, Verdon D, Verdon D.
europepmc   +1 more source

Local equations describe unreasonably efficient stochastic algorithms in random K-SAT. [PDF]

Proc Natl Acad Sci U S A
Machado D, González-García J, Mulet R.
europepmc   +1 more source

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

Form Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source

A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software. [PDF]

Data Brief
Heradio R, Cerrada C, Abad I, Aranda E, Escribano JJ, Fernandez-Amoros D.   +5 more
europepmc   +1 more source

Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better. [PDF]

Entropy (Basel)
Bennakhi A, Byrd GT, Franzon P.
europepmc   +1 more source

The neural dynamics associated with computational complexity. [PDF]

PLoS Comput Biol
Franco JP, Bossaerts P, Murawski C.
europepmc   +1 more source

Task-independent metrics of computational hardness predict human cognitive performance. [PDF]

Sci Rep, 2022
Franco JP, Doroc K, Yadav N, Bossaerts P, Murawski C.   +4 more
europepmc   +1 more source

How large language models need symbolism. [PDF]

Natl Sci Rev
Deng X, Li H.
europepmc   +1 more source