C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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