Encoding Selection for Solving Hamiltonian Cycle Problems with ASP
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP
复制标题
用 ASP 解决哈密顿循环问题的编码选择
DOI：
10.4204/eptcs.306.35
复制
发表时间：
2019
影响因子：
--
通讯作者：
Truszczynski, Miroslaw
中科院分区：
文献类型：
--
作者：
Liu, Liu;Truszczynski, Miroslaw
登录
查看更多内容
答案集编程中的性能调整
DOI：
10.1007/978-3-319-23264-5_17
发表时间：
2015
期刊：
Fundam. Informaticae
影响因子：
--
作者：
Matthew Buddenhagen;Yuliya Lierler
通讯作者：
Yuliya Lierler
DOI：
10.1007/978-3-319-61660-5_1
发表时间：
2017
期刊：
Fundam. Informaticae
影响因子：
--
作者：
M. Gebser;M. Maratea;F. Ricca
通讯作者：
F. Ricca
WASP：基于约束学习的原生 ASP 求解器
DOI：
--
发表时间：
2013
期刊：
International Conference on Logic Programming and Non-Monotonic Reasoning
影响因子：
--
作者：
Mario Alviano;Carmine Dodaro;Wolfgang Faber;N. Leone;F. Ricca
通讯作者：
F. Ricca
第一届答案集编程系统竞赛
DOI：
10.1007/978-3-540-72200-7_3
发表时间：
2007
期刊：
Artif. Intell.
影响因子：
--
作者：
M. Gebser;Lengning Liu;Gayathri Namasivayam;A. Neumann;Torsten Schaub;M. Truszczynski
通讯作者：
M. Truszczynski