WSAT（CC） swMATH编号： 9816 软件作者： 刘冷宁；特鲁什琴斯基，米洛斯奥 描述： WSAT（CC）–快速本地搜索ASP解算器。我们描述了WSAT（CC），它是一个局部搜索求解器，用于计算由基数原子扩展的命题逻辑语言中的理论模型。WSAT（CC）是逻辑PS+的处理后端，这是最近提出的一种用于应答集编程的形式。 主页： http://link.springer.com/chapter/10.1007/978-3-540-24609-1_33 相关软件： 引用于： 1文件 2位作者引用 1 刘冷宁 1 特鲁什琴斯基，米洛斯奥 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文