Sign in
Quantifier Simplification by Unification in SMT.
Pascal Fontaine
Hans-Jörg Schurr
Published in:
FroCoS (2021)
Keyphrases
</>
modulo theories
quantifier elimination
multiresolution
equational theories
higher order
theorem prover
database
multiscale
preprocessing
fuzzy measures
function symbols
automated theorem proving
interval arithmetic