Splitting on Demand in SAT Modulo Theories.

Clark W. Barrett Robert Nieuwenhuis Albert Oliveras Cesare Tinelli

Published in: LPAR (2006)

Keyphrases

modulo theories
answer set programming
stable model semantics
satisfiability modulo theories
logic programs
logic programming
answer sets