首页> 美国政府科技报告 >Optimizations in Decision Procedures for Propositional Linear Inequalities

【24h】

Optimizations in Decision Procedures for Propositional Linear Inequalities

机译：命题线性不等式判定程序的优化

获取原文

页面导航

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

摘要

Several decision procedures that were published in the last few years for sub-theories of propositional linear inequalities, i.e. a Boolean combination of predicates that belong to the theory, are based on a graph-based analysis of the formula's predicates. The analysis is always based on the predicates while ignoring the Boolean connectives between them. In this note we show how taking this information into account can significantly reduce the (practical) complexity of the decision procedure.

著录项

作者
Strichman, O.;
展开▼
作者单位

展开▼
年度 2002
页码 1-11
总页数 11
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Decision theory; Verification; Matrices(Mathematics); Mathematical logic;

机译：决策理论;验证;矩阵（数学）;数学逻辑;

相似文献

外文文献
中文文献
专利

1. Evaluating Optimized Decision Procedures for Propositional Modal K_(m) Satisfiability [J] . IAN HORROCKS, PETER F. PATEL-SCHNEIDER Journal of Automated Reasoning . 2002,第2期

机译：命题模态K_（m）可满足性的优化决策程序评估
2. Efficient decision procedure for propositional projection temporal logic [J] . Shu Xinfeng, Zhang Nan, Wang Xiaobing, Theoretical computer science . 2020,第1期

机译：命题投影时间逻辑有效决策程序
3. A canonical form based decision procedure and model checking approach for propositional projection temporal logic [J] . Duan Zhenhua, Tian Cong, Zhang Nan Theoretical computer science . 2016,第Pta3期

机译：命题投影时间逻辑的基于规范形式的决策程序和模型检查方法
4. Building Decision Procedures for Modal Logical from Propositional Decision Procedures - The Case Study of Modal K* [C] . Fausto Giunchiglia, Roberto Sebastiani International conference on automated deduction . 1996

机译：从命题决策程序建立模态逻辑的决策程序 - 模态K *的案例研究
5. Linear matrix inequality optimization methods for control of parameter varying mechanical systems [D] . Tan, Kan 2000

机译：控制参数变化机械系统的线性矩阵不等式优化方法
6. A class of derivative-free trust-region methods with interior backtracking technique for nonlinear optimization problems subject to linear inequality constraints [O] . Jing Gao, Jian Cao -1

机译：具有线性不等式约束的非线性优化问题的一类带内部回溯的无导数信赖域方法
7. Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m) [O] . Giunchiglia Fausto, Sebastiani Roberto 2000

机译：从命题决策程序建立模态逻辑的决策程序：模态K（m）的案例研究

Optimizations in Decision Procedures for Propositional Linear Inequalities

摘要

著录项

相似文献

相关主题

期刊订阅