A Solver for Reachability Modulo Theories.

Akash Lal Shaz Qadeer Shuvendu K. Lahiri

Published in: CAV (2012)

Keyphrases

satisfiability modulo theories
modulo theories
answer set programming
sat solvers
state space
boolean variables
logic programs
objective function
knowledge representation
answer sets