Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
書誌事項
- タイトル別名
-
- Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Computer Algebra --Theory and its Applications)
この論文をさがす
説明
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.
収録刊行物
-
- 数理解析研究所講究録
-
数理解析研究所講究録 2138 21-29, 2019-12
京都大学数理解析研究所
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050004225379117824
-
- NII論文ID
- 120006888166
-
- NII書誌ID
- AN00061013
-
- ISSN
- 18802818
-
- HANDLE
- 2433/254879
-
- NDL書誌ID
- 030233276
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles