Preface to Special Issue on Satisfiability Modulo Theories.

Byron Cook Roberto Sebastiani

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

Keyphrases

special issue
satisfiability modulo theories
modulo theories
answer set programming
ai edam
international workshop
international journal
sat solvers
ecml pkdd
applied intelligence
expert systems
fuzzy logic
constraint solvers