IC3 Modulo Theories via Implicit Predicate Abstraction.

Alessandro Cimatti Alberto Griggio Sergio Mover Stefano Tonetta

Published in: TACAS (2014)

Keyphrases

modulo theories
answer set programming
high level
first order logic
expert systems
learning algorithm
general purpose
knowledge management
logic programming
stable model semantics