首页> 外文OA文献 >Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems

【2h】

Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems

机译：用于简明逻辑的高效saT引擎：加速零搜索线性约束系统的证明搜索

页面导航

著录项
相似文献
相关主题

著录项

作者
Martin Fränzle; Christian Herde;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Efficient resource management for linear logic proof search [J] . Cervesato I., Pfenning F., Hodas JS. Theoretical computer science . 2000,第1a2期

机译：线性逻辑证明搜索的有效资源管理
2. Focused Proof Search for Linear Logic in the Calculus of Structures [J] . Nicolas Guenot LIPIcs : Leibniz International Proceedings in Informatics . 2010,第30期

机译：侧重于结构中的线性逻辑的重点证明
3. On structuring proof search for first order linear logic [J] . Paola Bruscoli, Alessio Guglielmi Theoretical computer science . 2006,第1a3期

机译：关于一阶线性逻辑的结构证明搜索
4. Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems [C] . Martin Franzle, Christian Herde International Conference on Logic for Programming, Artificial Intelligence, and Reasoning . 2003

机译：高效SAT引擎，用于简洁逻辑：加速证明搜索零一个线性约束系统
5. The SLG-WAM: A search-efficient engine for well-founded evaluation of normal logic programs. [D] . Sagonas, Konstantinos. 1996

机译：SLG-WAM：一种搜索有效的引擎，用于对常规逻辑程序进行有根据的评估。
6. Null Steering of Adaptive Beamforming Using Linear Constraint Minimum Variance Assisted by Particle Swarm Optimization Dynamic Mutated Artificial Immune System and Gravitational Search Algorithm [O] . Soodabeh Darzi, Tiong Sieh Kiong, Mohammad Tariqul Islam, -1

机译：粒子群优化动态变异人工免疫系统和引力搜索算法辅助的线性约束最小方差自适应波束成形的空转向
7. Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems [O] . Fränzle Martin, Herde Christian 2003

机译：用于简明逻辑的高效saT引擎：加速零搜索线性约束系统的证明搜索

Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems

著录项

相似文献

相关主题

期刊订阅