首页> 外文期刊>Journal on Satisfiability, Boolean Modeling and Computation >HaifaSat: a SAT solver based on an Abstraction/Refinement model.

【24h】

HaifaSat: a SAT solver based on an Abstraction/Refinement model.

机译：HaifaSat：基于抽象/精炼模型的SAT求解器。

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Journal on Satisfiability, Boolean Modeling and Computation》 |2008年第9期|共19页
作者
Roman Gershman; Ofer Strichman;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类算法理论;
关键词

相似文献

外文文献
中文文献
专利

1. HaifaSat: a SAT solver based on an Abstraction/Refinement model [J] . Gershman Roman, Strichman Ofer Journal on Satisfiability, Boolean Modeling and Computation . 2010,第1a3期

机译：HaifaSat：基于抽象/精炼模型的SAT求解器
2. Path-Directed Abstraction and Refinement for SAT-Based Design Debugging [J] . Keng B., Veneris A. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2013,第10期

机译：基于路径的抽象和优化基于SAT的设计调试
3. Speeding-Up Heuristic Allocation, Scheduling and Binding with SAT-Based Abstraction/Refinement Techniques [J] . GIANPIERO CABODI, LUCIANO LAVAGNO, MARCO MURCIANO, ACM Transactions on Design Automation of Electronic Systems . 2010,第2期

机译：使用基于SAT的抽象/精炼技术加快启发式分配，调度和绑定
4. HaifaSat: A New Robust SAT Solver [C] . Roman Gershman, Ofer Strichman International Haifa Verification Conference . 2006

机译：Haifasat：一种新的强大的SAT Solver
5. Verification of large industrial circuits using SAT based reparameterization and automated abstraction-refinement. [D] . Chauhan, Pankaj P. 2007

机译：使用基于SAT的重新参数化和自动抽象提炼对大型工业电路进行验证。
6. Differential geometry based solvation model. III. Quantum formulation [O] . Zhan Chen, Guo-Wei Wei -1

机译：基于微分几何的溶剂化模型。三量子公式
7. Haifasat: A new robust SAT solver [O] . Roman Gershman, Ofer Strichman 2005

机译：Haifasat：一个新的强大的saT求解器
8. Experiments with SAT-Based Symbolic Simulation Using Reparameterization in the Abstraction Refinement Framework [R] . Chauhan, P. , Clarke, E. , Kroening, D. 2004

机译：基于saT的抽象细化框架中重新参数化的符号模拟实验

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号