Results 141 to 150 of about 20,200 (225)

Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty

, 2021
Nian-Ze Lee, Jie-Hong R. Jiang
openalex   +2 more sources

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

PLoS One, 2022
Yasmin R, Deaton R.
europepmc   +1 more source

New Boolean satisfiability problem heuristic strategy: Minimal Positive Negative Product Strategy [PDF]

, 2023
Qun Zhao, Xintao Wang, Menghui Yang
openalex   +1 more source

Modeling Pairwise Test Generation from Cause-Effect Graphs as a Boolean Satisfiability Problem [PDF]

, 2014
In-Sang Chung
openalex   +1 more source

Solving the problem of boolean satisfiability for estimating the security of block ciphers magma and present to algebraic cryptanalysis [PDF]

, 2017
Liudmila Babenko, Ekaterina Maro
openalex   +1 more source

An application of constraint programming and Boolean satisfiability solving techniques to variants of the resource-constrained project scheduling problem

, 2015
Alexander Schnell
openalex   +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

A genetic algorithm for the Resource-Constrained Project Scheduling Problem with Alternative Subgraphs using a boolean satisfiability solver [PDF]

Tom Servranckx, José Coelho, Mario Vanhoucke   +2 more
openalex   +1 more source

A Constant Complexity Algorithm for Solving the Boolean Satisfiability Problem on Quantum Computers [PDF]

, 2003
Ahmed Younes, Julian F. Miller
openalex   +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