糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
扣环 104篇文献引用(2007–2022) 软件作者： 马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、安德烈·诺依曼（AndréNeumann）、托尔斯滕·绍布（Torsten Schaub） 相关软件： 格林戈；克林戈；WASP… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
库布斯 23篇文献引用(2002–2021) 软件作者： 阿卜杜勒瓦赫卜·阿亚里；戴维·巴恩斯 相关软件： Quaffle；semprop；部门QBF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）