首页> 外文OA文献 >Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic

【2h】

Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic

机译：用saT模数线性算法求解非线性多项式算法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Cristina Borralleras; Salvador Lucas; Rafael Navarro-marset; Albert Rubio;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. SAT Modulo Linear Arithmetic for Solving Polynomial Constraints [J] . Cristina Borralleras, Salvador Lucas, Albert Oliveras, Journal of Automated Reasoning . 2012,第1期

机译：求解多项式约束的SAT模线性算法
2. Solving non-linear arithmetic (Conference Paper) [J] . Jovanovi? D., De Moura L. ACM communications in computer algebra . 2012,第3a4期

机译：解决非线性算术（会议论文）
3. The use of interval arithmetic in solving a non-linear rational expectation based multiperiod output-inflation process model: The case of the IN/GB method [J] . Stradi-Granados BA, Haven E European Journal of Operational Research . 2010,第1期

机译：区间算法在求解基于非线性有理期望的多周期输出-通胀过程模型中的应用：IN / GB方法的情况
4. Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic [C] . Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Automated deduction-CADE-22 . 2009

机译：用SAT模线性算法求解非线性多项式算法。
5. Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers [D] . Nain, Prerna. 2018

机译：确定用于使用SAT解算器解决线性优化问题的最佳算术电路
6. Arithmetical Properties of Polynomials Associated with the Lemniscate Elliptic Functions [O] . Morgan Ward 1950

机译：与任意椭圆函数相关的多项式的算术性质
7. SAT Modulo Linear Arithmetic for Solving Polynomial Constraints [O] . Cristina Borralleras, Salvador Lucas, Albert Oliveras, 2014

机译：求解多项式约束的saT模数线性算法

Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic

著录项

引文网络

相似文献

相关主题

期刊订阅