DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs.

Akash Lal Shaz Qadeer

Published in: PLDI (2015)

Keyphrases

modulo theories
stable model semantics
directed acyclic graph
decision rules
logic programs
logic programming
answer set programming
learning algorithm
artificial intelligence
evolutionary algorithm
rough sets
decision problems
stable models