Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools

机译：SAT决策程序，SAT模数理论及其他。 Barcelogic工具

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our framework of Abstract DPLL and Abstract DPLL modulo Theories, we explain our DPLL(T) approach to SMT. Experimental results and future projects are discussed within BarcelogicTools, a set of logic-based tools developed by our research group in Barcelona. At the 2005 SMT competition, BarcelogicTools won all four categories it participated in (out of the seven existing categories).

机译：概述了SAT和SAT模理论（SMT）的许多最新发展。特别是，基于我们的抽象DPLL和抽象DPLL模理论的框架，我们解释了SMT的DPLL（T）方法。我们在巴塞罗那的研究小组开发了BarcelogicTools（一组基于逻辑的工具），讨论了实验结果和未来的项目。在2005年SMT竞赛中，BarcelogicTools赢得了它参加的所有四个类别（在七个现有类别中）。

著录项

来源
《International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(LPAR 2005); 20051202-06; Montego Bay(JM)》|2005年|P.23-46|共24页
会议地点 Montego Bay(JM)
作者
Robert Nieuwenhuis; Albert Oliveras;
展开▼
作者单位

Technical Univ. of Catalonia, Barcelona;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词

相似文献

外文文献
中文文献
专利

1. Solving SAT and SAT Modulo Theories: From an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T) [J] . ROBERT NIEUWENHUIS, ALBERT OLIVERAS, CESARE TINELLI Journal of the Association for Computing Machinery . 2006,第6期

机译：解决SAT和SAT模理论：从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL（T）
2. Solving constraint satisfaction problems with SAT modulo theories [J] . Miquel Bofill, Miquel Palahi, Josep Suy, Constraints . 2012,第3期

机译：用SAT模理论解决约束满足问题
3. Bit-Width Allocation for Hardware Accelerators for Scientific Computing Using SAT-Modulo Theory [J] . Kinsman A.B., Nicolici N. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2010,第3期

机译：基于SAT模理论的用于科学计算的硬件加速器的位宽分配
4. SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering [C] . Robert Nieuwenhuis Principles and practice of constraint programming - CP 2010 . 2010

机译：SAT模理论：充分利用SAT和全局约束过滤
5. A study of approximation techniques for incremental SAT and MAX-SAT. [D] . Wang, Chonghai. 2005

机译：增量SAT和MAX-SAT近似技术的研究。
6. Evaluation of novel inactivated vaccines for the SAT 1 SAT 2 and SAT 3 serotypes of foot-and-mouth disease in pigs [O] . Hye-Eun Jo, Su-Hwa You, Joo-Hyung Choi, 2019

机译：评估猪口蹄疫SAT 1SAT 2和SAT 3血清型的新型灭活疫苗
7. Splitting on Demand in SAT Modulo Theories [O] . 2015

机译：saT模数理论中的分裂需求
8. Generalization of SAT and (number sign)SAT for Robust Policy Evaluation [R] . Zawadzki, E, Platzer, A, Gordon, G J 2014

机译：saT和（数字符号）saT的推广用于稳健的政策评估

Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools

摘要

著录项

相似文献

相关主题

期刊订阅