Results 211 to 220 of about 20,200 (225)

Boolean satisfiability with transitivity constraints

ACM Transactions on Computational Logic, 2002
Randal E Bryant, Miroslav N Velev
exaly  

Timescales of Boolean satisfiability solver using continuous-time dynamical system

Communications in Nonlinear Science and Numerical Simulation, 2020
Hiroshi Yamashita, Kazuyuki Aihara, Hideyuki Suzuki   +2 more
exaly  

Zeon and Idem-Clifford Formulations of Boolean Satisfiability

Advances in Applied Clifford Algebras, 2019
G Stacey Staples
exaly  

The 2CNF Boolean formula satisfiability problem and the linear space hypothesis

Journal of Computer and System Sciences, 2023
exaly  

The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

SIAM Journal on Computing, 2009
Elitza N Maneva, Christos H Papadimitriou   +1 more
exaly  

Boolean Satisfiability Solvers and Their Applications in Model Checking

Proceedings of the IEEE, 2015
Sharad Malik, Yakir Vizel
exaly  

Probabilistic bounds and algorithms for the maximum satisfiability problem

Annals of Operations Research, 1989
Endre Boros
exaly  

On the complexity of the satisfiability problem for a system of functional Boolean equations

Journal of Applied and Industrial Mathematics, 2013
exaly  

Bridging Constraint Satisfaction and Boolean Satisfiability

The Artificial Intelligence: Foundationsory, and Algorithms, 2015
Justyna Petke
exaly  

Strategies for solving the Boolean satisfiability problem using binary decision diagrams

Journal of Systems Architecture, 2001
exaly