Results 111 to 120 of about 263 (134)
Some of the next articles are maybe not open access.
Scalable Error Detection Using Boolean Satisfiability
ACM SIGPLAN Notices, 2005Alex Aiken, Yichen Xie
exaly +2 more sources
Solving Boolean Satisfiability with Stochastic Nanomagnets
2022 29th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2022Maeesha Binte Hashem +3 more
openaire +2 more sources
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
SIAM Journal on Computing, 2009Phokion Kolaitis, Elitza Maneva
exaly
Boolean Satisfiability Solvers and Their Applications in Model Checking
Proceedings of the IEEE, 2015Georg Weissenbacher +2 more
exaly
Boolean Satisfiability With Transitivity Constraints
ACM Transactions on Computational Logic, 2002Randal Bryant, Miroslav N. Velev
exaly
Fault Diagnosis and Logic Debugging Using Boolean Satisfiability
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2005Andreas Veneris
exaly