最大值

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


zbMATH中的参考文献(参考 20篇文章 参考,2标准条款)

显示第1到第20个结果,共20个。
按年份排序(引用)

  1. 蔡少伟;雷振东:新方法中的旧技术:分句加权、单位繁殖和杂交以获得最大满意度(2020)
  2. Say,Buser;Sanner,Scott:利用学习的二元神经网络过渡模型在因子化状态和动作空间中进行规划的紧凑高效编码(2020)
  3. Hooker,John N.:大规模优化的基于逻辑的Benders分解(2019)
  4. Zha,Aolong;Koshimura,Miyuki;Fujita,Hiroshi:(N)基于模的MaxSAT伪布尔约束的CNF编码(2019)
  5. Ansótegui,Carlos;Gabás,Joel:WPM3:an(in)加权部分最大卫星完整算法(2017)
  6. Berg,Jeremias;Järvisalo,Matti:基于加权部分最大可满足性的成本最优约束相关聚类(2017)
  7. Ansótegui,Carlos;Gabás,Joel;Levy,Jordi:在基于SAT的maxsat算法中利用子问题优化(2016)
  8. Arif,M.Fareed;Mencia,Carlos;Ignatiev,Alexey;Manthey,Norbert;Peñaloza,Rafael;Marques Silva,Joao:BEACON:一种高效的基于SAT的调试工具(\mathcalEL^+)本体论(2016)
  9. Daniel Berend;Twitto,Yochai:随机最大(r)-SAT的归一化自相关长度以概率收敛到((1-1/2^r)/r)(2016)
  10. 蔡少伟,罗,川,林,金坤,苏,凯乐:部分MaxSAT局部搜索新方法(2016)
  11. Barry Hurley;Barry O'Sullivan;Allouche,David;Katsirelos,George;Schiex,Thomas;Zytnicki,Matthias;de Givry,Simon:图形模型离散优化中精确解算器的多语言评估(2016)
  12. Liffiton,Mark H.;Previti,Alessandro;Malik,Ammar;Marques Silva,Joao:快速、灵活的MUS计数(2016)
  13. Liu,Yan Li;Li,Chu Min;He,Kun;Fan,Yi:打破循环结构提高Max SAT的下限(2016)
  14. Saikko,Paul;Berg,Jeremias;Järvisalo,Matti:LMHS:A SAT-IP混合最大卫星解算器(2016)
  15. Adrian Balint;Anton Belov;Matti Järvisalo;Carsten Sinz:2012年SAT挑战赛解算器竞赛概述与分析(2015)ioport公司
  16. Mangal,Ravi;Zhang,Xin;Nori,Aditya V.;Naik,Mayur:Volt:用于解决非常大的maxsat实例的惰性接地框架(2015)
  17. David Allouche;André,Isabelle;Barbe,Sophie;Davies,Jessica;de Givry,Simon;Katsirelos,George;O'Sullivan,Barry;Prestwich,Steve;Schiex,Thomas;Traoré,Seydou:计算蛋白质设计作为优化问题(2014)
  18. Davies,Jessica;Bacchus,Faheem:延迟优化以加速MAXSAT求解(2013)ioport公司
  19. Morgado,Antonio;Heras,Federico;Liffiton,Mark;Planes,Jordi;Marques Silva,Joao:迭代和核心引导的maxsat解算:调查与评估(2013)
  20. 戴维斯,杰西卡;巴克斯,法希姆:通过求解一系列更简单的SAT实例来求解MAXSAT(2011)ioport公司


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