Simplification of boolean verification conditions.

E. Pascal Gribomont

Published in: Theor. Comput. Sci. (2000)

Keyphrases

sufficient conditions
boolean functions
real valued
elementary functions
formal analysis
face verification
model checking
evolutionary algorithm
image processing
search algorithm
objective function
formal methods
computer vision
multi valued
signature verification
formal verification
database