Login / Signup

Generalized, efficient array decision procedures.

Leonardo Mendonça de MouraNikolaj Bjørner
Published in: FMCAD (2009)
Keyphrases
  • decision procedures
  • theorem proving
  • automated reasoning
  • machine learning
  • data sets
  • modal logic
  • databases
  • knowledge base
  • description logics
  • conjunctive queries
  • containment of conjunctive queries