Automated Aggregator - Rewriting with the Counting Aggregate
Automated Aggregator - Rewriting with the Counting Aggregate
复制标题
自动聚合器 - 用计数聚合重写
DOI：
10.4204/eptcs.325.17
复制
发表时间：
2020
影响因子：
--
通讯作者：
Truszczynski, Miroslaw
中科院分区：
文献类型：
--
作者：
Dingess, Michael;Truszczynski, Miroslaw
用 ASP 解决哈密顿循环问题的编码选择
影响因子：
--
作者：
Liu, Liu;Truszczynski, Miroslaw
通讯作者：
Truszczynski, Miroslaw
答案集编程中的性能调整
DOI：
10.1007/978-3-319-23264-5_17
发表时间：
2015
期刊：
Fundam. Informaticae
影响因子：
--
作者：
Matthew Buddenhagen;Yuliya Lierler
通讯作者：
Yuliya Lierler