• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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