MiniMaxSat卫星 39篇文献引用(2008–2023) 软件作者： 费德里科·赫拉斯；哈维尔·拉罗萨；阿尔伯特·奥利弗拉斯 相关软件： 周六4j；MaxHS；QMaxSAT… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MaxSolver（最大解算器） 引用于19份文件(2005–2013) 软件作者： 赵星、张伟雄 相关软件： 糠；MiniMaxSat；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…