软件搜索-zbMATH Open

LMHS公司

swMATH ID:	16738
软件作者：	保罗·赛科（Paul Saikko）；杰里米亚斯·伯格（Jeremias Berg）；马蒂·Järvisalo
描述：	LMHS：SAT-IP混合maxsat解算器。我们描述了LMHS，一个开源的加权部分最大可满足性（MaxSAT）求解器。LMHS是一种混合SAT-IP MaxSAT解算器，它实现了对MaxSAT的隐式命中集方法。在主要算法的基础上，LMHS提供了集成的预处理、解决方案枚举、增量API以及SAT和IP解算器的选择。我们描述了LMHS的主要特征，并给出了预处理以及底层SAT和IP解算器的选择对LMHS性能的影响的实证结果。
主页：	https://www.cs.helsinki.fi/group/coreo/lmhs/
相关软件：	QMax卫星;周六4j;开放-WBO;超小卫星;RC2号机组;最大HS;玲玲;CPLEX公司;马西诺牌手表;焊接工艺规范3;葡萄糖;Treengeling公司;弯曲;TETRAD公司;SCIP公司;协处理器;钙DiCaL;地图COMSPS_LRB;MapleCOMSPS公司;帕拉库巴
引用于：	12文件

4	马蒂·Järvisalo
2	杰里米亚斯·伯格
2	安蒂·海蒂宁
2	阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。
2	Joáo P.塞尔瓦侯爵。
2	安托尼奥·莫尔加多
1	马里奥·阿尔维亚诺
1	法希姆·巴克斯
1	玛丽亚·路易莎·博内
1	Samuel R.巴斯。
1	乔迪·科尔
1	大卫·丹克斯
1	利马，蒂亚戈
1	卡明·多达罗
1	弗雷德里克·埃伯哈特
1	贾马尔·哈贝特
1	何坤
1	索拉巴·乔希
1	宫崎骏小村
1	普拉蒂克·库马尔
1	Jean-Marie拉格尼茨
1	丹尼尔·勒贝尔
1	李楚敏
1	廖晓娟
1	很多，费利普
1	鲁本·马丁斯
1	瓦伦丁·蒙米拉
1	安德烈亚斯·尼斯卡宁
1	川崎野本
1	谢尔盖·普利斯
1	亚历克斯·普尔
1	卡里·兰塔南
1	苏克鲁特·拉奥
1	保罗·赛科
1	樱井裕子
1	铃木上田
1	约翰·彼得·沃纳
1	徐振兴
1	Makoto Yokoo公司