首页> 外文OA文献 >Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers

【2h】

Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers

机译：利用单元传播来计算分支和边界Max-SAT求解器中的下限

页面导航

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

著录项

作者
Chu Min Li; Jordi Planes;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver [J] . Andre Abrame, Djamal Habet Journal on Satisfiability, Boolean Modeling and Computation . 2015,第1期

机译：Ahmaxsat：分支和约束Max-SAT解算器的描述和评估
2. ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver [J] . Abramé André, Habet Djamal Journal on Satisfiability, Boolean Modeling and Computation . 2014,第1期

机译：ahmaxsat：分支定界Max-SAT解算器的描述和评估
3. A Branch-and-Bound Algorithm for Solving the Multiprocessor Scheduling Problem with Improved Lower Bounding Techniques [J] . Fujita Satoshi Computers, IEEE Transactions on . 2011,第7期

机译：一种采用改进的下界技术解决多处理器调度问题的分界算法
4. Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers [C] . Chu Min Li, Felip Manya, Jordi Planes International Conference on Principles and Practice of Constraint Programming(CP 2005); 20051001-05; Sitges(ES) . 2005

机译：利用单位传播来计算分支和边界Max-SAT解算器中的下界
5. Branching Program Lower Bounds [D] . Medabalimi, Venkatesh. 2018

机译：分支程序下界
6. Maximum common subgraph: some upper bound and lower bound results [O] . Xiuzhen Huang, Jing Lai, Steven F Jennings 2006

机译：最大公共子图：一些上限和下限结果
7. Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving [O] . Lin Han, Su Kaile 2007

机译：利用推理规则计算MAX-SAT求解的下界
8. CONE-BOUNDED NONLINEARITIES AND MEAN-SQUARE BOUNDS - ESTIMATION LOWER BOUND [R] . Ian B. Rhodes, Alfred S. Gilman 1974

机译：有边界的非线性和平方有界 - 估计下限

Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers

著录项

引文网络

相似文献

相关主题

期刊订阅