Login / Signup
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas.
Munehiro Kobayashi
Hidenao Iwane
Takuya Matsuzaki
Hirokazu Anai
Published in:
MACIS (2015)
Keyphrases
</>
quantifier elimination
artificial intelligence
high level
normal form
quantifier free