Lazy Satisability Modulo Theories.

Roberto Sebastiani

Published in: J. Satisf. Boolean Model. Comput. (2007)

Keyphrases

modulo theories
answer set programming
satisfiability modulo theories
stable model semantics
answer sets
knowledge representation
software engineering
logic programs
logic programming
description logics
constraint satisfaction problems