Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

已完结

文献求助详情

标题	Description, Implementation, and Evaluation of a Generic Design for Tabled CLP 桌面CLP通用设计的描述、实现和评估相关领域计算机科学序言解算器约束逻辑程序设计稳健性程序设计语言约束规划约束（计算机辅助设计）逻辑程序设计可满足模理论理论计算机科学约束满足数学优化人工智能数学几何学概率逻辑随机规划
网址	https://doi.org/10.1017/s1471068418000571
DOI	10.1017/s1471068418000571 doi
其它	期刊：Theory and Practice of Logic Programming 作者：Joaquín Arias; Manuel Carro 出版日期：2019-01-18
求助人	1212 在 2024-04-01 12:29:52 发布自河南，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

Society for Industrial and Applied Mathematics (SIAM)

上个求助

该求助已完结，感谢关注

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

站在巨人的肩膀上，才更有可能跳的更远

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

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

一分钟了解求助规则 | 捐赠本站 | 论文查重

更新

大幅提高文件上传限制，最高150M (2024-4-1)

更新

新增期刊收藏功能 (2024-03-23)

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

实时播报: sky完成签到，获得积分10

2秒前; 长安心动明月发布了新的文献求助10

3秒前; 怕黑忆南发布了新的文献求助10

3秒前; 震动的雨兰驳回了李健的粉丝团团长的应助

4秒前; 往昔北人发布了新的文献求助10

4秒前; 哭泣慕晴发布了新的文献求助10

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

5秒前; Cathy完成签到，获得积分10

5秒前; Akim上传了应助文件

6秒前; 英姑上传了应助文件

7秒前; 大锤发布了新的文献求助20

8秒前; 我迷了鹿发布了新的文献求助10

9秒前; 呆萌晓丝发布了新的文献求助10

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

11秒前; 慕青上传了应助文件

12秒前; 小二郎的应助被玖月采纳，获得10

13秒前; 无水乙醚发布了新的文献求助10

14秒前; shinysparrow的应助被ivykuang采纳，获得30

14秒前; 可爱的函函的应助被芝士椰果采纳，获得10

17秒前; 慕豁发布了新的文献求助10

17秒前; 吻风的风完成签到，获得积分10

18秒前; whisper完成签到，获得积分20

18秒前; knight驳回了科研通AI2.0的应助

19秒前; FashionBoy的应助被无水乙醚采纳，获得10

20秒前; 斯文败类的应助被无水乙醚采纳，获得10

20秒前; 小二郎上传了应助文件

21秒前; 我迷了鹿完成签到，获得积分10

22秒前; 希望天下0贩的0的应助被哭泣慕晴采纳，获得10

23秒前; 充电宝上传了应助文件

23秒前; whisper发布了新的文献求助20

24秒前; 呆萌晓丝完成签到，获得积分10

24秒前; 玖月发布了新的文献求助10

25秒前; 金鱼完成签到，获得积分10

26秒前; Ava的应助被大酋长采纳，获得10

27秒前; TWA发布了新的文献求助10

28秒前; 隐形的涫完成签到，获得积分10

30秒前; 顾矜的应助被慕豁采纳，获得10

30秒前; 瘪良科研完成签到，获得积分10

33秒前; 枫叶完成签到，获得积分10

35秒前; 脑洞疼的应助被master-f采纳，获得80

35秒前