PySAT公司 27篇文献引用(2018–2023) 软件作者： 阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 相关软件： MiniSat；葡萄糖；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）