Efficient Preprocessing Methods for Quantifier Elimination

机译：消除量词的高效预处理方法

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper presents a framework and prototype implementation for preprocessing quantified input formulas that are intended as input for quantifier elimination algorithms. The framework loosely follows the AI search paradigm — exploring the space of formulas derived from the input by applying various rewriting operators in search of a problem formulation that will be good input for the intended Q.E. program. The only operator provided by the prototype implementation presented here is substitution for variables constrained by equations in which they appear linearly, supported by factorization and a simple check for non-vanishing of denominators in substitutions. Yet we present examples of quantified formulas which can be reduced by our preprocessing method to problems solvable by current quantifier elimination packages, whereas the original formulas had been inaccessible to those.

机译：本文介绍了用于预处理量化输入公式的框架和原型实现，这些输入公式旨在用作量词消除算法的输入。该框架松散地遵循了AI搜索范式-通过应用各种重写运算符来搜索将成为预期Q.E良好输入的问题公式，从而探索从输入得出的公式的空间。程序。这里介绍的原型实现提供的唯一运算符是替换受方程式约束的变量，这些变量在其中线性出现，并通过分解进行分解，并简单检查替换中的分母是否消失。但是，我们提供了一些量化公式的示例，这些示例可以通过我们的预处理方法简化为当前的量化器消除程序包可以解决的问题，而原始公式对于这些公式来说是不可访问的。

著录项

来源
《International Workshop on Computer Algebra in Scientific Computing(CASC 2006); 20060911-15; Chisinau(MD)》|2006年|P.89-100|共12页
会议地点 Chisinau(MD)
作者
Christopher W. Brown; Christian Gross;
展开▼
作者单位

Department of Computer Science, United States Naval Academy, U.S.A.;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;代数、数论、组合理论;
关键词

相似文献

外文文献
中文文献
专利

1. Comparison of Derivative Preprocessing and Automated Polynomial Baseline Correction Method for Classification and Quantification of Narcotics in Solid Mixtures [J] . MARC N. LEGER, ALAN G. RYDER Applied Spectroscopy: Society for Applied Spectroscopy . 2006,第2期

机译：固体混合物中麻醉品分类和定量的导数预处理和自动多项式基线校正方法的比较
2. An Efficient Preprocessing Methodology for Enhancing Images Captured Underwater [J] . Faizan Shabir, A.A. Mir Advanced Research in Electrical and Electronic Engineering: AREEE . 2019,第2期

机译：增强水下捕获图像的高效预处理方法
3. An efficient preprocessing method for supervised sentiment analysis by converting sentences to numerical vectors: a twitter case study [J] . Sohrabi Mohammad Karim, Hemmatian Fatemeh Multimedia Tools and Applications . 2019,第17期

机译：通过将句子转换为数值向量进行监督情绪分析的有效预处理方法：twitter案例研究
4. Efficient Preprocessing Methods for Quantifier Elimination [C] . Christopher W. Brown, Christian Gross International Workshop on Computer Algebra in Scientific Computing(CASC 2006); 20060911-15; Chisinau(MD) . 2006

机译：消除量词的高效预处理方法
5. Exploring variable elimination as a preprocessing technique to speed up SAT. [D] . Shah, Saloni. 2008

机译：将变量消除作为一种预处理技术来加快SAT的速度。
6. An efficient method of addressing ectopic beats: new insight into data preprocessing of heart rate variability analysis [O] . Feng Wen, Fang-tian He 2011

机译：解决异位搏动的有效方法：对心率变异性分析数据预处理的新见解
7. An efficient depth map preprocessing method based on structure-aided domain transform smoothing for 3D view generation. [O] . Wei Liu, Liyan Ma, Bo Qiu, 2017

机译：一种基于结构辅助域变换平滑的三维视图生成的高效深度图预处理方法。

Efficient Preprocessing Methods for Quantifier Elimination

摘要

著录项

相似文献

相关主题

期刊订阅