CTLSAT公司 swMATH ID: 31991 软件作者： 北卡罗来纳州Prezza 描述： CTL（计算树逻辑）SAT解算器 主页： https://github.com/nicolaprezza/CTLSAT 源代码： https://github.com/nicolaprezza/CTLSAT 相关软件： MCMAS-SLK公司;瓦夫莱斯先生;EAGLE公司;摩卡;普兰林;MCMAS公司;Uppaal公司;棱镜;阿尔帕加 引用于： 1文件 3位作者引用 1 朱利安·古铁雷斯 1 Alexis图米 1 迈克尔·J·伍尔德里奇。 0连载引用 在2个字段中引用 1 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文