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
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
默默向雪完成签到,获得积分0
刚刚
1秒前
归期完成签到,获得积分10
1秒前
1秒前
1秒前
DJC完成签到,获得积分10
1秒前
easynature完成签到,获得积分20
2秒前
赘婿应助lan采纳,获得10
2秒前
2秒前
潭深发布了新的文献求助10
2秒前
泥嚎发财小兄弟完成签到,获得积分10
2秒前
乐乐应助montecount采纳,获得10
3秒前
孙小子完成签到,获得积分10
3秒前
3秒前
3秒前
共享精神应助SDER58采纳,获得10
4秒前
陶1122完成签到,获得积分10
4秒前
4秒前
小辉完成签到,获得积分10
5秒前
闪闪沂完成签到,获得积分10
5秒前
DKJ应助认真慕青采纳,获得10
6秒前
明亮发布了新的文献求助10
6秒前
6秒前
天天发布了新的文献求助10
6秒前
7秒前
7秒前
陶1122发布了新的文献求助10
7秒前
外星海虫修完成签到,获得积分10
7秒前
7秒前
7秒前
小高完成签到,获得积分10
8秒前
小蘑菇应助容容容采纳,获得30
8秒前
Justinwu完成签到,获得积分10
8秒前
8秒前
无极微光应助qiL采纳,获得20
8秒前
xxxx发布了新的文献求助10
8秒前
顽石发布了新的文献求助10
8秒前
123发布了新的文献求助10
9秒前
9秒前
9秒前
高分求助中
Annie Ernaux: De la perte au corps glorieux 600
Petrology and Plate Tectonics,2025 500
Optical Coating Design with the Essential Macleod 400
A revision of Limenitis helmanni and its related species (Nymphalidae) from Central and South China 400
Moore's Clinically Oriented Anatomy 10th Edition 400
Direct and Iterative Linear System Solvers 400
Cardiopulmonary Bypass and Mechanical Support: Principles and Practice, Fifth Edition 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6784665
求助须知:如何正确求助?哪些是违规求助? 8506780
关于积分的说明 18117187
捐赠科研通 6090095
什么是DOI,文献DOI怎么找? 3019760
邀请新用户注册赠送积分活动 1996736
关于科研通互助平台的介绍 1982883