Login / Signup
Generalized, efficient array decision procedures.
Leonardo Mendonça de Moura
Nikolaj 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