Model Counting Modulo Theories.

Published in: CoRR (2015)

Keyphrases

model counting
modulo theories
answer set programming
knowledge compilation
satisfiability testing
polynomial size
stable model semantics
satisfiability modulo theories
logic programs
logic programming
answer sets
propositional formulas
np hard