Improved Exact Solvers for Weighted Max-SAT

机译：改进的加权Max-SAT精确求解器

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present two new branch and bound weighted Max-SAT solvers (Lazy and Lazy) which incorporate original data structures and inference rules, and a lower bound of better quality.

机译：我们提出了两个新的分支加权加权Max-SAT求解器（Lazy和Lazy），它们合并了原始数据结构和推理规则以及质量更好的下限。

著录项

来源
《International Conference on Theory and Applications of Satisfiability Testing(SAT 2005); 20050619-23; St Andrews(GB)》|2005年|P.371-377|共7页
会议地点 St Andrews(GB)
作者
Teresa Alsinet; Felip Manya; Jordi Planes;
展开▼
作者单位

DIEI, Universitat de Lleida, Jaume II, 69, E-25001 Lleida, Spain;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算数学;理论、方法;
关键词

相似文献

外文文献
中文文献
专利

1. Exact Max-SAT solvers for over-constrained problems [J] . Argelich J, Manya F Journal of heuristics . 2006,第4a5期

机译：精确的Max-SAT求解器，用于过度约束的问题
2. Solving the weighted MAX-SAT problem using the dynamic convexized method [J] . Wenxing Zhu, Yuanhui Yan Optimization Letters . 2014,第1期

机译：用动态凸方法求解加权MAX-SAT问题
3. An efficient solver for weighted Max-SAT [J] . Teresa Alsinet, Felip Manya, Jordi Planes Journal of Global Optimization . 2008,第1期

机译：加权Max-SAT的高效求解器
4. Improved Exact Solvers for Weighted Max-SAT [C] . Teresa Alsinet, Felip Manya, Jordi Planes International Conference on Theory and Applications of Satisfiability Testing . 2005

机译：改进了加权MAX-SAT的精确溶剂
5. Exact and Heuristic Approaches for Solving the Multi-vehicle Advance Request Dial-a-ride Problem [D] . Bahmaninezhad, Azadeh. 2019

机译：解决多车前申请拨号问题的精确和启发式方法
6. Exact solving and sensitivity analysis of stochastic continuous time Boolean models [O] . Mihály Koltai, Vincent Noel, Andrei Zinovyev, 2020

机译：随机连续时间布尔模型的精确求解和灵敏度分析
7. An efficient solver for weighted Max-SAT [O] . Alsinet, Teresa, Manya, Felip, Planes, Jordi 2018

机译：加权Max-SAT的高效求解器

Improved Exact Solvers for Weighted Max-SAT

摘要

著录项

相似文献

相关主题

期刊订阅