Clingcon公司 39篇文献引用（2009年至2022年） 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
替换Alt 6篇文献引用(2002–2009) 软件作者： 罗密奥·桑切斯·奈根达（Romeo Sanchez Nigenda）、玄龙阮（XuanLong Nguyen）、苏巴拉奥·坎巴帕蒂（Subbarao Kambhampati） 相关软件： STAN；图形平面图；Walksat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
BACP公司 4份文件引用(2005–2014) 软件作者： 托尼·兰伯特（Tony Lambert）；卡洛斯·卡斯特罗；埃里克·蒙弗罗伊（Eric Monfroy）；里夫，玛丽亚·克里斯蒂娜；弗雷德里克·绍比恩 相关软件： CSPLib；EasyLocal公司++ 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）