Heuristics for Selecting Predicates for Partial Predicate Abstraction.

Tuba Yavuz Chelsea A. Metcalf

Published in: CoRR (2018)

Keyphrases

datalog programs
horn clauses
heuristic search
high level
search algorithm
user defined
admissible heuristics
monotonicity constraints
neural network
greedy heuristic
real time
artificial intelligence
state space
heuristic methods
fixpoint