Results 121 to 130 of about 263 (134)

Critical Behavior in the Satisfiability of Random Boolean Expressions

Science, 1994
Bart Selman, Scott Kirkpatrick
exaly  

Bridging Constraint Satisfaction and Boolean Satisfiability

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

Zeon and Idem-Clifford Formulations of Boolean Satisfiability

Advances in Applied Clifford Algebras, 2019
George Stacey Staples
exaly  

Boolean Satisfiability

2011
openaire   +1 more source

Boolean Satisfiability

2019
openaire   +1 more source

Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2006
R Brayton, Alan Mishchenko
exaly  

Test Pattern Generation Using Boolean Satisfiability

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
exaly  

High Quality Test Pattern Generation and Boolean Satisfiability

2012
Stephan Eggersglüß, Rolf Drechsler
exaly  

Debugging Sequential Circuits Using Boolean Satisfiability

2004
Rolf Drechsler, Andreas Veneris
exaly  

Steiner systems and the Boolean satisfiability problem

Proceedings of the 1996 ACM symposium on Applied Computing - SAC '96, 1996
openaire   +1 more source