罕见的QS 41篇文献引用(2012–2022) 软件作者： 米科拉什·哈诺塔；威廉·克利伯（William Klieber）；若昂·西尔瓦侯爵；埃德蒙·克拉克 相关软件： DepQBF；布洛克；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
QUBE公司 26篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QuBE++；Quaffle；箔条… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
魁北克省++ 24篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QUBE公司；Quaffle；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CAQE公司 20篇文献引用(2016–2022) 软件作者： M.N.Rabe、L.Tentrup。 相关软件： RAReQS；HQPre；部门QBF… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
斯基佐 18篇文献引用（2005年至2021年） 软件作者： 马可·贝内德蒂 相关软件： Quantor；QUBOS公司；Quaffle… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
sQueezeBF公司 16篇文献引用（2010年至2021年） 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马林、保罗；马西莫·纳里扎诺 相关软件： 布洛克；DepQBF；Nenofex… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
HQSpre公司 13份文件引用(2018–2022) 软件作者： Wimmer，R.、Reimer，S.、Marin，P.、Becker，B。 相关软件： CAQE；DepQBF；dCAQE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
QRAT预+ 6篇文献引用(2019–2021) 软件作者： Lonsing，F.，Egly，U。 相关软件： 布洛克；DepQBF；QESTO… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MPI部门QBF 4份文件引用(2014–2019) 软件作者： 乔丹，C.，凯撒，L.，朗辛，F.，塞德尔，M。 相关软件： DepQBF；QMiraXT；罕见… 主要字段： 计算机科学（68-XX）