软件搜索-zbMATH Open

最大HS

swMATH ID:	21187
软件作者：	杰西卡·戴维斯，法希姆·巴克斯
描述：	MaxHS是各种优化问题的快速求解器。MaxHS接受四类MaxSat问题中的任何一类，包括最一般的加权部分类。与大多数其他MaxSat解算器不同，MaxHS可以接受浮点权重。将优化问题表示为一组软子句和硬子句。软子句可以有权重。MaxHS采用MaxSat Evaluations使用的WDIMACS格式输入
主页：	网址：http://www.maxhs.org/
相关软件：	MiniMaxSat卫星；QMax卫星；CCLS公司；周六4j；超小卫星；开放-WBO；RC2号机组；UBCSAT公司；徒步旅行；玲玲；PySAT公司；葡萄糖；CCASat卫星；钙DiCaL；弯曲；Treengeling公司；LMHS公司；CPLEX公司；焊接工艺规范3；糠
引用于：	30文件
更多出版物：	http://www.maxhs.org/docs/papers.html

2出版物描述软件	年份
推迟优化以加速MAXSAT求解杰西卡·戴维斯；法希姆·巴克斯	2013
通过求解一系列更简单的SAT实例来求解MAXSAT 杰西卡·戴维斯；法希姆·巴克斯	2011

5	丹尼尔·贝伦德
5	Joáo P.塞尔瓦侯爵。
5	Yochai Twitto
4	贾马尔·哈贝特
三	穆罕默德·萨米·谢里夫
三	戈兰，沙哈尔
三	阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。
三	安托尼奥·莫尔加多
2	阿洛奇，大卫
2	卡洛斯·安索特吉
2	杰里米亚斯·伯格
2	蔡少伟
2	西蒙·德·吉夫里
2	乔尔·加布
2	何坤
2	马蒂·Järvisalo
2	乔治·卡特西雷洛斯
2	李楚敏
2	马克·利菲顿。
2	巴里·奥沙利文
2	皮·马蒂厄
2	托马斯·希克斯
1	安德烈·阿布拉梅
1	伊莎贝·安德烈
1	阿里夫·M·法里德
1	苏菲·芭比
1	乔里·博曼森
1	玛丽亚·路易莎·博内
1	Samuel R.巴斯。
1	乔迪·科尔
1	杰西卡·凯瑟琳·戴维斯
1	范毅
1	藤田，广岛
1	费德里科·赫拉斯
1	约翰·胡克（John N.jun Hooker）。
1	巴里，赫尔利
1	汤米·詹胡宁
1	米科拉什·亚诺塔
1	宫崎骏小村
1	雷振东
1	约尔迪·利维
1	林金坤
1	刘燕丽
1	罗，川
1	阿马尔·马利克
1	拉维·曼格尔
1	诺伯特·曼恩
1	很多，费利普
1	卡洛斯·门西娅
1	马约·奈克
1	阿迪蒂亚·维塔尔·诺里
1	伊利亚·奥特普申尼科夫。
1	拉斐尔·佩尼亚洛萨
1	乔迪，飞机
1	史蒂文·普雷斯特维奇。
1	亚历山德罗·普雷维蒂
1	保罗·赛科
1	斯科特·桑纳
1	喂，巴斯尔
1	Aleksandr Anatol’evich塞梅诺夫
1	苏，凯尔
1	塞杜·特拉奥雷
1	沃伊特·乔夫斯克，皮特
1	徐振兴
1	查、奥龙
1	张欣
1	马蒂亚斯·兹特尼基