Results 111 to 120 of about 770 (181)

Boolean Satisfiability [PDF]

, 2009
openaire   +1 more source

Combining greedy and evolutionary algorithms to maximize influence in networks under deterministic linear threshold model. [PDF]

PLoS One
Andreev A, Kochemazov S, Semenov A.
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

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

How large language models need symbolism. [PDF]

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

Complete realization of energy landscapes and non-equilibrium trapping dynamics in small spin glass and optimization problems. [PDF]

Sci Rep
Po HF, Yeung CH.
europepmc   +1 more source

A Satisfiability Algorithm for Synchronous Boolean Circuits

IEICE Transactions on Information and Systems, 2021
openaire   +3 more sources

Testing Quantum Satisfiability. [PDF]

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

Seed2LP: seed inference in metabolic networks for reverse ecology applications. [PDF]

Bioinformatics
Ghassemi Nedjad C, Bolteau M, Bourneuf L, Paulevé L, Frioux C.   +4 more
europepmc   +1 more source

Solving perfect matchings by frequency-grouped multi-photon events using a silicon chip. [PDF]

Nat Commun
Zhu P, Zheng Q, Wang K, Yu M, Xia G, Liu J, Liu Y, Zhu Z, Xu P.   +8 more
europepmc   +1 more source