Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability

已完结

文献求助详情

标题	Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability 用布尔可满足性求解图顶点一阶可表达性质的重构问题相关领域控制重构布尔可满足性问题可满足性计算机科学有界函数理论计算机科学图形合取范式最大可满足性问题多样性（控制论）布尔函数数学算法人工智能数学分析嵌入式系统
网址	https://doi.org/10.1109/ictai59109.2023.00050
DOI	10.1109/ictai59109.2023.00050 doi
其它	期刊：作者：Takahisa Toda; Takehiro Ito; Jun Kawahara; Takehide Soh; Akira Suzuki; et al 出版日期：2023-11-06
求助人	mashibeo 在 2025-01-26 00:59:27 发布自法国，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

有了科研通，下载文献真轻松！

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 辛勤香岚完成签到，获得积分10

刚刚; 思源的应助被四叶草采纳，获得10

1秒前; yw完成签到，获得积分10

2秒前; 老白完成签到，获得积分10

2秒前; 854fycchjh完成签到，获得积分10

2秒前; 小美女完成签到，获得积分10

3秒前; bkagyin上传了应助文件

4秒前; DHW1703701完成签到，获得积分10

4秒前; 娷静发布了新的文献求助10

6秒前; 华仔上传了应助文件

6秒前; ShiRz发布了新的文献求助10

6秒前; mads完成签到，获得积分10

8秒前; 思源上传了应助文件

9秒前; 果砸发布了新的文献求助10

10秒前; 白兰鸽发布了新的文献求助10

10秒前; 科研小哥上传了应助文件

10秒前; 东方欲晓完成签到，获得积分10

11秒前; 好困的应助被凌寻冬采纳，获得10

12秒前; 科研通AI2S上传了应助文件

12秒前; 泉水丁冬2023完成签到，获得积分10

12秒前; 大强完成签到，获得积分10

13秒前; 高贵的思天完成签到，获得积分10

14秒前; 微雨若，，完成签到，获得积分10

14秒前; 感动的忆雪完成签到，获得积分10

15秒前; 四叶草发布了新的文献求助10

15秒前; 特大包包完成签到，获得积分10

15秒前; 36456657的应助被科研通管家采纳，获得10

15秒前; 隐形曼青的应助被科研通管家采纳，获得10

15秒前; bkagyin的应助被科研通管家采纳，获得10

15秒前; 科研通AI2S的应助被科研通管家采纳，获得10

15秒前; 科研通AI2S的应助被科研通管家采纳，获得10

15秒前; 青云完成签到，获得积分10

16秒前; Silence完成签到，获得积分10

16秒前; 学术趴菜完成签到，获得积分10

16秒前; dou完成签到，获得积分10

17秒前; 红桃K完成签到，获得积分10

18秒前; FashionBoy的应助被wckow采纳，获得10

18秒前; 娷静完成签到，获得积分10

19秒前; 知行合一完成签到，获得积分10

19秒前; sdfwsdfsd完成签到，获得积分10

20秒前