Using Partial Orders to Improve Automatic Verification Methods.

Patrice Godefroid

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

partial order
benchmark datasets
neural network
preprocessing
significant improvement
face recognition
bayesian networks
computational cost
worst case
machine learning methods