Reachability Modulo Theories.

Akash Lal Shaz Qadeer

Published in: RP (2013)

Keyphrases

modulo theories
answer set programming
state space
stable model semantics
satisfiability modulo theories
machine learning
learning algorithm
logic programs
answer sets
general purpose