TG-PRO: A new model for SAT-based ATPG.

Huan Chen João Marques-Silva

Published in: HLDVT (2009)

Keyphrases

answer set programming
formal model
probabilistic model
computational model
prediction model
mathematical model
statistical model
lower bound
optimal solution
np hard
theoretical analysis
parameter estimation
high level
orders of magnitude
theoretical framework
petri net
expert systems