C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Structure-aware computation of predicate abstraction.
Alessandro Cimatti
Jori Dubrovin
Tommi A. Junttila
Marco Roveri
Published in:
FMCAD (2009)
Keyphrases
</>
multi agent
structural information
image segmentation
real world
genetic algorithm
knowledge base
objective function
high dimensional
relational databases
low level
state space