A Two-Variable Model for SAT-Based ATPG.

Huan Chen João Marques-Silva

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2013)

Keyphrases

social networks
theoretical analysis
computational model
probability distribution
mathematical model
genetic algorithm
theoretical framework
active learning
probabilistic model
logic programming
conceptual model
formal model
sat solvers