首页> 外文期刊>The Journal of Artificial Intelligence Research >MiniMaxSAT: An Efficient Weighted Max-SAT solver

【24h】

MiniMaxSAT: An Efficient Weighted Max-SAT solver

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

获取原文

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

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《The Journal of Artificial Intelligence Research》 |2008年第12期|共页
作者
Heras F.; Larrosa J.; Oliveras A.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. MiniMaxSAT: An Efficient Weighted Max-SAT solver [J] . F. Heras, J. Larrosa, A. Oliveras Journal of Automation, Mobile Robotics & Intelligent Systems . 2008,第1期

机译：MiniMaxSAT：高效的加权Max-SAT解算器
2. MINIMAXSAT: An Efficient Weighted Max-SAT Solver [J] . Federico Heras, Javier Larrosa, Albert Oliveras The Journal of Artificial Intelligence Research . 2008,第0期

机译：MINIMAXSAT：高效的加权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. MiniMaxSat: A New Weighted Max-SAT Solver [C] . Federico Heras, Javier Larrosa, Albeit Oliveras Theory and Applications of Satisfiability Testing - SAT 2007; Lecture Notes in Computer Science; 4501 . 2007

机译：MiniMaxSat：一种新的加权Max-SAT解算器
5. Solving Process Planning and Scheduling Problems Using the Concept of Maximum Weighted Independent Set [D] . Sun, Kai. 2020

机译：使用最大加权独立集的概念解决过程规划和调度问题
6. Efficient Assessment of Social Problem-Solving Abilities in Medical and Rehabilitation Settings: A Rasch Analysis of the Social Problem-Solving Inventory-Revised [O] . Laura E. Dreer, Jack Berry, Patricia Rivera, -1

机译：高效评估医疗和康复环境中的社会问题解决能力：对社会问题解决库存修订的Rasch分析
7. MiniMaxSat: a new weighted Max-SAT solver [O] . Federico Heras, Javier Larrosa, Albert Oliveras 2007

机译：minimaxsat：一种新的加权max-saT求解器

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号