Extending SMT Solvers to Higher-Order Logic.
Haniel BarbosaAndrew ReynoldsDaniel El OuraouiCesare TinelliClark W. BarrettPublished in: CADE (2019)
Keyphrases
- higher order logic
- higher order
- modulo theories
- theorem prover
- conditional logic
- logical framework
- answer set programming
- default reasoning
- statistical machine translation
- sat solvers
- data representation
- pairwise
- satisfiability modulo theories
- first order logic
- decision trees
- theorem proving
- automated reasoning
- orders of magnitude
- search space
- similarity measure