Results 161 to 170 of about 770 (181)
Some of the next articles are maybe not open access.
Scalable error detection using boolean satisfiability
ACM SIGPLAN Notices, 2005Yichen Xie, Alex Aiken
exaly
Fault diagnosis and logic debugging using Boolean satisfiability
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2005Andreas Veneris
exaly
Zeon and Idem-Clifford Formulations of Boolean Satisfiability
Advances in Applied Clifford Algebras, 2019G Stacey Staples, Staples G Stacey
exaly
Timescales of Boolean satisfiability solver using continuous-time dynamical system
Communications in Nonlinear Science and Numerical Simulation, 2020Hiroshi Yamashita +2 more
exaly
Boolean Satisfiability Solvers and Their Applications in Model Checking
Proceedings of the IEEE, 2015Georg Weißenbacher, Sharad Malik
exaly
Generic hardness of the Boolean satisfiability problem
Groups, Complexity, Cryptology, 2017Alexander Rybalov
exaly
Using simulation and satisfiability to compute flexibilities in Boolean networks
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2006A Mishchenko +2 more
exaly