Preface to the special issue "SI: Satisfiability Modulo Theories".

Ofer Strichman Daniel Kroening

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

special issue
satisfiability modulo theories
modulo theories
answer set programming
ai edam
international workshop
international journal
ecml pkdd
applied intelligence
sat solvers
answer sets
logic programming
intelligent systems
logic programs
learning algorithm
expert systems
computational complexity