Reasoning about comprehensions with first-order SMT solvers.
K. Rustan M. LeinoRosemary MonahanPublished in: SAC (2009)
Keyphrases
- modulo theories
- higher order
- spatial reasoning
- statistical machine translation
- first order logic
- answer set programming
- satisfiability modulo theories
- formal theory
- stochastic dominance
- sat solvers
- qualitative reasoning
- quantifier elimination
- theory revision
- universally quantified
- quantified boolean formulas
- numerically stable
- neural network
- knowledge representation