Modeling Path Puzzles as SAT Problems and How to Solve Them

路径(计算) 计算机科学 理论计算机科学 程序设计语言
作者
Joshua Erlangga Sakti,Muhammad Arzaki,Gia Septiana Wulandari
出处
期刊:Springer proceedings in mathematics & statistics 卷期号:: 227-245
标识
DOI:10.1007/978-981-97-2136-8_17
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
浩二完成签到,获得积分10
刚刚
科研通AI6应助和谐的又晴采纳,获得10
1秒前
汪汪发布了新的文献求助10
2秒前
追寻真理发布了新的文献求助10
2秒前
LYT发布了新的文献求助10
2秒前
益只洋完成签到 ,获得积分10
3秒前
5秒前
杨逸尔发布了新的文献求助10
5秒前
5秒前
啵啵脆完成签到,获得积分10
6秒前
春田完成签到,获得积分10
6秒前
democienceek发布了新的文献求助30
8秒前
春田发布了新的文献求助10
9秒前
科研通AI5应助路在脚下采纳,获得10
10秒前
10秒前
彭于晏应助路在脚下采纳,获得10
10秒前
小蘑菇应助路在脚下采纳,获得10
10秒前
情怀应助路在脚下采纳,获得10
10秒前
11秒前
谢bro发布了新的文献求助10
12秒前
开朗万天完成签到 ,获得积分0
14秒前
LYT完成签到,获得积分20
15秒前
零食发布了新的文献求助10
16秒前
淋湿巴黎发布了新的文献求助20
16秒前
pzzz123完成签到,获得积分10
16秒前
17秒前
小龟完成签到 ,获得积分10
17秒前
希望天下0贩的0应助汪汪采纳,获得10
17秒前
18秒前
杨逸尔完成签到,获得积分10
19秒前
wwj1009完成签到 ,获得积分10
19秒前
Jie关注了科研通微信公众号
21秒前
不想太多完成签到,获得积分10
21秒前
22秒前
24秒前
Owen应助佰斯特威采纳,获得30
24秒前
在水一方应助现代的寻雪采纳,获得10
25秒前
27秒前
大牛完成签到,获得积分10
27秒前
眼睛大唯雪完成签到 ,获得积分10
28秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Nuclear Fuel Behaviour under RIA Conditions 500
Sociologies et cosmopolitisme méthodologique 400
Why America Can't Retrench (And How it Might) 400
Another look at Archaeopteryx as the oldest bird 390
Optimization and Learning via Stochastic Gradient Search 300
Higher taxa of Basidiomycetes 300
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 物理化学 基因 催化作用 遗传学 冶金 电极 光电子学
热门帖子
关注 科研通微信公众号,转发送积分 4677207
求助须知:如何正确求助?哪些是违规求助? 4054740
关于积分的说明 12538117
捐赠科研通 3748870
什么是DOI,文献DOI怎么找? 2070668
邀请新用户注册赠送积分活动 1099700
科研通“疑难数据库(出版商)”最低求助积分说明 979338