Satisfiability Solvers Are Static Analysers.

Vijay Victor D'Silva Leopold Haller Daniel Kroening

Published in: SAS (2012)

Keyphrases

data sets
computer vision
image retrieval
image processing
object recognition
viewpoint
evolutionary algorithm