×

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

0连载引用

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文