首页> 外文OA文献 >Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques ∗

【2h】

Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques ∗

机译：使用局部搜索技术测试伪布尔约束的布尔组合*

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Lengning Liu; Mirosław Truszczyński;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On the generalization of constraint programming and boolean satisfiability solving techniques to schedule a resource-constrained project consisting of multi-mode jobs [J] . Alexander Schnell, Richard F. Hartl Operations Research Perspectives . 2017,第1期

机译：关于约束编程的通用化和布尔可满足性求解技术，以调度由多模式作业组成的资源受限项目
2. A Multilevel Pseudo-Boolean Satisfiability-Based Approach for Segmented Channel Routing [J] . Zhang Dahua, Li Wei, Du Tao Journal of circuits, systems and computers . 2015,第6期

机译：基于多级伪布尔可满足性的分段信道路由方法
3. Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability [J] . Mangassarian H., Veneris A., Najm F. N. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2012,第2期

机译：使用伪布尔可满足性的最大电路活动估计
4. Local-search Techniques for Boolean Combinations of Pseudo-boolean Constraints [C] . Lengning Liu, Miroslaw Truszczynski National Conference on Artificial Intelligence(AAAI-06);Innovative Applications of Artificial Intelligence Conference(IAAI-06) . 2006

机译：伪布尔约束的布尔组合的局部搜索技术
5. Pseudo-Boolean satisfiability and quantified Boolean formulas in CAD for VLSI [D] . Mangassarian, Hratch 2008

机译：VLSI CAD中的伪布尔可满足性和量化布尔公式
6. SPABBATS: A pathway-discovery method based on Boolean satisfiability that facilitates the characterization of suppressor mutants [O] . Lope A Flórez, Katrin Gunka, Rafael Polanía, 2011

机译：SPABBATS：一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
7. On the generalization of constraint programming and boolean satisfiability solving techniques to schedule a resource-constrained project consisting of multi-mode jobs [O] . Alexander Schnell, Richard F. Hartl 2017

机译：关于约束规划和布尔可满足性求解技术的推广，用于调度由多模式作业组成的资源受限项目

Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques ∗

著录项

引文网络

相似文献

相关主题

期刊订阅