机译:求解多项式约束的SAT模线性算法
Universitat de Vic, Vic, Spain;
Universitat Politecnica de Valencia, Valencia, Spain;
Universitat Politecnica de Catalunya, Barcelona, Spain;
Universitat Politecnica de Catalunya, Barcelona, Spain;
Universitat Politecnica de Catalunya, Barcelona, Spain;
non-linear arithmetic; constraint solving; polynomial constraints; SAT modulo theories; termination; system verification;
机译:用SAT模理论解决约束满足问题
机译:基于区间的SAT模ODE求解器,用于非线性混合系统的模型检查
机译:解决SAT和SAT模理论:从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL(T)
机译:用SAT模线性算法求解非线性多项式算法。
机译:确定用于使用SAT解算器解决线性优化问题的最佳算术电路
机译:通过线性约束求解从代谢网络计算最小养分集
机译:求解多项式约束的saT模数线性算法
机译:求解广义2saT约束的布尔组合