尼诺菲克斯 18篇文献引用（2008年至2017年） 软件作者： 弗洛里安·朗辛（Florian Lonsing）、阿明·比埃尔（Armin Biere） 相关软件： DepQBF；sQueezeBF；罕见的QS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
夏普 11份文件引用(2015–2023) 软件作者： Muise，C.、McIlraith，S.A.、Beck，J.C.、Hsu，E.I。 相关软件： sharpSAT；htd；countAntom… 主要字段： 计算机科学（68-XX）
循环Qit2 6篇文献引用(2009–2016) 软件作者： 亚历山大·古提亚耶娃；法希姆·巴克斯 相关软件： QUBE公司；奈诺菲克斯；罕见… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
西比尔 6篇文献引用(2010–2020) 软件作者： 塞里托、塞雷内拉；玛尔塔·恰尔迪亚·梅耶 相关软件： 斯巴达克斯；HyLoTab；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）