Predicate Abstraction with Minimum Predicates.

Sagar Chaki Edmund M. Clarke Alex Groce Ofer Strichman

Published in: CHARME (2003)

Keyphrases

datalog programs
monotonicity constraints
horn clauses
high level
first order logic
user defined
multimedia
similarity measure
heuristic search
data abstraction
decision theoretic planning
square error