Results 131 to 140 of about 62,255 (228)

GRASP-A new search algorithm for satisfiability

Proceedings of International Conference on Computer Aided Design, 1996
Joao Marques-Silva, K. Sakallah
semanticscholar   +1 more source

Advances in Quantum Computing. [PDF]

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

Logical computation with self-assembling electric circuits. [PDF]

PLoS One, 2022
Yasmin R, Deaton R.
europepmc   +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

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)

International Joint Conference on Artificial Intelligence, 2017
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang   +3 more
semanticscholar   +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

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

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

BioLogical: a universal analysis framework for biosystem logical dynamics. [PDF]

Comput Struct Biotechnol J
Yao Y, Liu D, Zhang Z, Zhao C, Pei D.
europepmc   +1 more source

A geometric framework for reaction enumeration in computational nucleic acid devices. [PDF]

J R Soc Interface, 2023
Kumar S, Lakin MR.
europepmc   +1 more source