MaxPre公司 swMATH ID: 21952 软件作者: Korhonen,Tuukka;杰里米亚斯·伯格(Jeremias Berg);保罗·赛科(Paul Saikko);Järvisalo,马蒂 描述: Maxpre:一个扩展的maxsat预处理器。我们描述了MaxPre,一个用于(加权部分)最大可满足性(MaxSAT)的开源预处理器。MaxPre实现了基于SAT和特定于MaxSAT的预处理技术,并提供了解决方案重建、基数约束编码和用于紧密集成到基于SAT的MaxSAT解算器的API。 主页: https://www.cs.helsinki.fi/group/coreo/maxpre/ 相关软件: 法国铁路局;RC2型;超小卫星;协处理器;LMHS公司;iProver(iProver) 引用于: 2文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Maxpre:一种扩展的maxsat预处理器Korhonen,Tuukka;杰里米亚斯·伯格(Jeremias Berg);保罗·赛科(Paul Saikko);Järvisalo,马蒂 2017 4位作者引用 1 杰里米亚斯·伯格 1 Henrik曹 1 汉内斯·伊哈莱宁 1 Järvisalo,马蒂 0连载引用 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文