最大值

MaxHS是一种快速求解各种优化问题的方法。MaxHS接受四类MaxSat问题中的任何一类,包括最一般的加权偏类。与大多数其他MaxSat解算器不同,MaxHS可以接受浮点权重。将优化问题表示为一组软硬子句。软条款可以有权重。MaxHS采用WDIMACS格式的输入,MaxSat评估使用这种格式


zbMATH中的参考文献(参考文献27条,2标准条款)

显示第1到第20个结果,共27个。
按年份排序(引用)
  1. 伯兰,但以理;Twitto,Yochai:随机最大(r)-Sat的概率特征(2021)
  2. 博内,玛丽亚·路易莎;巴斯,萨姆;伊格纳蒂耶夫,亚历克赛;莫加多,安东尼奥;马奎斯·席尔瓦:基于最大可满足性的命题证明系统(2021)
  3. 伊格纳蒂耶夫,亚历克赛;Joao,Marques Silva:基于SAT的决策列表严格解释(2021年)
  4. 是的,马修;谢里夫,穆罕默德·萨米;哈贝特,贾马尔:马克斯SAT(2021)的校样建设者
  5. 波曼森,乔里;Janhunen,Tomi:用加权比较器网络促进答案集优化(2020)
  6. 蔡少伟;雷振东:新方法中的旧技术:分句权重、单位繁殖和最大满意度杂交(2020)
  7. 谢里夫,穆罕默德·萨米;哈贝特,贾马尔;Abramé,André:通过up Resility了解Max SAT分辨率的力量(2020)
  8. 奥特普什尼科夫,伊利亚诉。;使用基于合并变量的局部搜索来解决MaxSAT问题的特殊变量(2020)
  9. 说吧,布瑟;Sanner,Scott:使用学习的二元神经网络转换模型在因子化状态和动作空间中进行规划的紧凑高效编码(2020)
  10. Hooker,John N.:大规模优化的基于逻辑的Benders分解(2019)
  11. 查、敖龙;小村、宫城;Fujita,Hiroshi:(N)-基于模的MaxSAT伪布尔约束的CNF编码(2019)
  12. 安索特吉,卡洛斯;Gabás,Joel:WPM3:加权部分最大卫星的(in)完整算法(2017)
  13. 贝格,耶利米亚斯;Järvisalo,Matti:基于加权部分最大可满足性的成本最优约束相关聚类(2017)
  14. 安索特吉,卡洛斯;盖博,乔尔;Levy,Jordi:利用基于SAT的maxsat算法中的子问题优化(2016)
  15. 阿里夫,M.法雷德;门西亚,卡洛斯;伊格纳蒂耶夫,亚历克赛;曼蒂,诺伯特;培纳洛扎,拉斐尔;Marques Silva,Joao:BEACON:一种高效的基于SAT的调试工具(\mathcalEL^+)本体论(2016)
  16. 伯兰,但以理;Twitto,Yochai:随机最大(r)-Sat的归一化自相关长度以概率收敛到((1-1/2^r)/r)(2016)
  17. 蔡少伟;罗、川;林金坤;Su,Kaile:部分MaxSAT的新局部搜索方法(2016)
  18. 赫尔利,巴里;奥沙利文,巴里;放荡,大卫;乔治·卡塞雷洛斯;斯基克斯,托马斯;Zytnicki,马提亚斯;de Givry,Simon:图形模型离散优化中精确解算器的多语言评估(2016)
  19. 利菲顿,马克H。;普雷维蒂,亚历山德罗;马利克,亚玛;Marques Silva,Joao:快速、灵活的MUS计数(2016)
  20. 刘彦莉;李楚民;何坤;Fan,Yi:打破循环结构以提高Max SAT的下限(2016)

更多出版物请访问:http://www.maxhs.org/docs/papers.html