Hamiltonian Cycle Reconfiguration with Answer Set Programming

控制重构 解算器 答案集编程 计算机科学 哈密顿量(控制论) 汉弥尔顿路径问题 哈密顿路 数学优化 理论计算机科学 逻辑程序设计 数学 程序设计语言 嵌入式系统 图形
作者
Takahiro Hirate,Mutsunori Banbara,Katsumi Inoue,Xiao-Nan Lu,Hidetomo Nabeshima,Torsten Schaub,Takehide Soh,Naoyuki Tamura
出处
期刊:Lecture Notes in Computer Science 卷期号:: 262-277 被引量:2
标识
DOI:10.1007/978-3-031-43619-2_19
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
万能毒药完成签到 ,获得积分10
刚刚
乐乐应助整齐新儿采纳,获得10
刚刚
Wdwpp发布了新的文献求助10
刚刚
刚刚
传奇3应助小马采纳,获得10
刚刚
开放的斌发布了新的文献求助10
刚刚
小二郎应助suyanive采纳,获得10
1秒前
Shine发布了新的文献求助10
1秒前
优秀的排球完成签到 ,获得积分10
2秒前
3秒前
4秒前
Phonyeee完成签到,获得积分10
4秒前
勤奋尔丝完成签到 ,获得积分10
5秒前
6秒前
小马完成签到,获得积分20
6秒前
萤照夜清发布了新的文献求助10
7秒前
所所应助过时的砖头采纳,获得10
8秒前
zz发布了新的文献求助10
9秒前
丁叮给丁叮的求助进行了留言
9秒前
10秒前
11秒前
11秒前
13秒前
在水一方应助拽住小时候采纳,获得10
14秒前
14秒前
白胖胖发布了新的文献求助10
15秒前
Hello应助三金采纳,获得10
15秒前
16秒前
花凉发布了新的文献求助10
17秒前
水123发布了新的文献求助10
17秒前
18秒前
英俊溪灵完成签到,获得积分10
19秒前
20秒前
21秒前
8546发布了新的文献求助10
21秒前
Seeking完成签到,获得积分10
22秒前
22秒前
七七发布了新的文献求助10
23秒前
marjorie完成签到 ,获得积分10
23秒前
bkagyin应助月亮是甜的采纳,获得10
24秒前
高分求助中
Production Logging: Theoretical and Interpretive Elements 2500
Востребованный временем 2500
Aspects of Babylonian celestial divination : the lunar eclipse tablets of enuma anu enlil 1500
Agaricales of New Zealand 1: Pluteaceae - Entolomataceae 1040
Healthcare Finance: Modern Financial Analysis for Accelerating Biomedical Innovation 1000
Classics in Total Synthesis IV: New Targets, Strategies, Methods 1000
지식생태학: 생태학, 죽은 지식을 깨우다 600
热门求助领域 (近24小时)
化学 医学 材料科学 生物 工程类 有机化学 生物化学 纳米技术 内科学 物理 化学工程 计算机科学 复合材料 基因 遗传学 物理化学 催化作用 细胞生物学 免疫学 电极
热门帖子
关注 科研通微信公众号,转发送积分 3459147
求助须知:如何正确求助?哪些是违规求助? 3053698
关于积分的说明 9037829
捐赠科研通 2742963
什么是DOI,文献DOI怎么找? 1504592
科研通“疑难数据库(出版商)”最低求助积分说明 695334
邀请新用户注册赠送积分活动 694644