Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Computer Algebra --Theory and its Applications)

HANDLE Web Site Open Access
  • IWANE, HIDENAO
    FUJITSU LABORATORIES LTD・NATIONAL INSTITUTE OF INFORMATICS
  • ANAI, HIROKAZU
    FUJITSU LABORATORIES LTD・KYUSHU UNIVERSITY・NATIONAL INSTITUTE OF INFORMATICS

Bibliographic Information

Other Title
  • Formula Simplification for Real Quantifier Elimination Using Geometric Invariance

Search this article

Description

Formulating a simple and adequate quantified first-order formula is crucial for applying real quantifier elimination (QE) efficiently. In general, generating simple formulas or simplifying formulas for efficient QE involves human interaction. In this paper, we present simplification algorithms for quantified first-order formulas over the real numbers to speed up QE. We present experimental results for more than 10, 000 benchmark problems to examine the effectiveness of our simplification algorithms.

Journal

  • RIMS Kokyuroku

    RIMS Kokyuroku 2138 21-29, 2019-12

    京都大学数理解析研究所

Details 詳細情報について

Report a problem

Back to top