首页> 外文OA文献 >Global Optimization for Satisfiability (SAT) Problem

【2h】

Global Optimization for Satisfiability (SAT) Problem

机译：全局可满足性（SAT）问题

页面导航

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

著录项

作者
Jun Gu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Global optimization for satisfiability (SAT) problem [J] . Jun Gu IEEE Transactions on Knowledge and Data Engineering . 1994,第3期

机译：可满足性（SAT）问题的全局优化
2. On Optimizing the Satisfiability (SAT) Problem [J] . GU Jun, GU Qianping, DU Dingzhu Journal of Computer Science & Technology . 1999,第1期

机译：关于优化满意度（SAT）问题
3. On Optimizing the Satisfiability (SAT) Problem [J] . GU Jun, GU Qianping, DU Dingzhu 计算机科学技术学报（英文版） . 1999,第001期

机译：关于优化满意度（SAT）问题
4. Particle Swarm Optimization for Satisfiability (SAT) [C] . En-Zhong Wang, Ji-Gui Sun International Conference on Knowledge Economy and Development of Science and Technology; 20040917-19; Beijing(CN) . 2004

机译：可满足性的粒子群优化（SAT）
5. Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers [D] . Nain, Prerna. 2018

机译：确定用于使用SAT解算器解决线性优化问题的最佳算术电路
6. SAT-124 Optimization of Experimental Conditions for Mimicking Hypoxia in Cultured Breast Cancer Cells by Using Cobalt(II) Chloride (CoCl2) [O] . Karin Chen, Leo Satlof, Udithi Kothapalli, 2020

机译：SAT-124通过使用钴（II）氯化钴（COCl2）来优化培养乳腺癌细胞缺氧中缺氧的实验条件
7. Theory and Applications of Satisfiability Testing – SAT 2020 [O] . 2020

机译：可满足性测试的理论与应用 - SAT 2020

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号