MaxSolver（最大解算器） 19份文件引用(2005–2013) 软件作者： 赵星、张伟雄 相关软件： 糠；MiniMaxSat；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
ZRes公司 12份文件引用(2000–2023) 软件作者： 查塔利奇，菲利普；洛朗·西蒙 相关软件： 糠；SATO；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DPvis（DPvis） 6篇文献引用(2005–2016) 软件作者： 卡斯滕·辛兹（Carsten Sinz）；艾达·玛丽亚·迪林格 相关软件： MiniSat；糠；SATGraf… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
EufDPLL公司 1份文件引用(2008) 软件作者： 特维雷蒂纳，奥尔加；威格·威瑟林克 相关软件： ATERM；Barcelogic工具 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）