Login / Signup

Preface to special issue on satisfiability modulo theories.

Alberto GriggioPhilipp Rümmer
Published in: Formal Methods Syst. Des. (2017)
Keyphrases
  • special issue
  • satisfiability modulo theories
  • modulo theories
  • ai edam
  • answer set programming
  • ecml pkdd
  • international workshop
  • international journal
  • sat solvers
  • boolean variables
  • applied intelligence
  • special case