茶匙 4份文件引用(2017–2022) 软件作者： Banbara，M.、Inoue，K.、Kaufmann，B.、Schaub，T.、Soh，T.和Tamura，N.、Wanko，P。 相关软件： 格林戈；OR-tools；Clingo… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）