Login / Signup

Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas.

Munehiro KobayashiHidenao IwaneTakuya MatsuzakiHirokazu Anai
Published in: MACIS (2015)
Keyphrases
  • quantifier elimination
  • artificial intelligence
  • high level
  • normal form
  • quantifier free