Login / Signup

Satisfiability modulo theories: introduction and applications.

Leonardo Mendonça de MouraNikolaj Bjørner
Published in: Commun. ACM (2011)
Keyphrases
  • satisfiability modulo theories
  • modulo theories
  • answer set programming
  • expert systems
  • knowledge representation
  • sat solvers