Login / Signup
Automatic Test Pattern Generation Through Boolean Satisfiability for Testing Bridging Faults.
Hossein Mokhtarnia
Shahram Etemadi Borujeni
Sayyed Mohammad Saeed Ehsani
Published in:
J. Circuits Syst. Comput. (2019)
Keyphrases
</>
boolean satisfiability
boolean optimization
sat solvers
randomly generated
sat solving
sat problem
integer linear programming
probabilistic planning
symmetry breaking
maximum satisfiability
learning algorithm
orders of magnitude
phase transition