Results 171 to 180 of about 18,245 (221)

Discovering heuristics in a complex SAT solver with large language models. [PDF]

Nat Commun
Sun Y, Ye F, Chen Z, Wei K, Cai S.
europepmc   +1 more source

Amplification of computational power by the multiplication of bacteria exploring microfluidic networks encoding mathematical problems. [PDF]

Microsyst Nanoeng
Sudalaiyadum Perumal A, van Delft FCMJM, Ippoliti G, Kašpar O, Tokárová V, Nayak M, Cho M, Li J, van Langen-Suurling A, de Boer C, Dirne F, Nicolau DV, Nicolau DV.   +12 more
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

Entropy Regularization in the Mean-Field Free-Energy Machine for Combinatorial Optimization. [PDF]

Entropy (Basel)
Gao W.
europepmc   +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

Minimum uncertainty as Bayesian network model selection principle. [PDF]

BMC Bioinformatics
Gogoshin G, Rodin AS.
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

zk-Guard-R: Policy-Hidden and Replay-Safe zk-SNARK Access Control for IoT Sensor Data Stored on IPFS. [PDF]

Sensors (Basel)
Hou H, Ma Y, Zhao Z, Gan X.
europepmc   +1 more source

A Localized Scalable DNA Logic Circuit System Based on the DNA Origami Surface. [PDF]

Int J Mol Sci
Tang Z, Li S, Chen C, Zhou Z, Yin Z.
europepmc   +1 more source

Multi-step partitioning combined with SOM neural network-based clustering technique effectively improves SAT solver performance. [PDF]

PeerJ Comput Sci
Yun S, Wang X.
europepmc   +1 more source