IC3 Modulo Theories via Implicit Predicate Abstraction.

Alessandro Cimatti Alberto Griggio Sergio Mover Stefano Tonetta

Published in: CoRR (2013)

Keyphrases

modulo theories
answer set programming
first order logic
high level
learning algorithm
artificial intelligence
satisfiability modulo theories