Approaching the ground states of the random maximum two-satisfiability problem by a greedy single-spin flipping process [PDF]
Hui Ma, Haijun Zhou
openalex +1 more source
Efficient optimization with higher-order ising machines. [PDF]
Bybee C +5 more
europepmc +1 more source
Task-independent metrics of computational hardness predict human cognitive performance. [PDF]
Franco JP +4 more
europepmc +1 more source
Synthesising Programs with Non-trivial Constants. [PDF]
Abate A +8 more
europepmc +1 more source
Generating Datasets for Real-Time Scheduling on 5G New Radio. [PDF]
Jin X, Chai H, Xia C, Xu C.
europepmc +1 more source
Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming [PDF]
Michel X. Goemans, David P. Williamson
openalex +1 more source
A geometric framework for reaction enumeration in computational nucleic acid devices. [PDF]
Kumar S, Lakin MR.
europepmc +1 more source
Enhancing Security of Web-Based IoT Services via XSS Vulnerability Detection. [PDF]
Kim J, Park J.
europepmc +1 more source
Acute stress impairs decision-making at varying levels of decision complexity. [PDF]
Doroc K, Yadav N, Murawski C.
europepmc +1 more source
Accelerating hybrid XOR-CNF Boolean satisfiability problems natively with in-memory computing. [PDF]
Im H +16 more
europepmc +1 more source

