发布求助
文献互助 智能选刊 最新文献

Principles and Practice of Constraint Programming最新文献

筛选
英文 中文
Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System 通用并行并发约束逻辑编程系统CIAO设计中的若干方法论问题
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_95
M. Hermenegildo
{"title":"Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System","authors":"M. Hermenegildo","doi":"10.1007/3-540-58601-6_95","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_95","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116440094","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 29
On the Design of Constraint Satisfaction Problems 约束满足问题的设计
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_108
Massimo Paltrinieri
{"title":"On the Design of Constraint Satisfaction Problems","authors":"Massimo Paltrinieri","doi":"10.1007/3-540-58601-6_108","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_108","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128803306","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Constraint Objects 约束对象
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_103
Divesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz
{"title":"Constraint Objects","authors":"Divesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz","doi":"10.1007/3-540-58601-6_103","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_103","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114263588","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 34
Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints 多路局部传播约束层次分析与调试
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_90
M. Sannella
{"title":"Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints","authors":"M. Sannella","doi":"10.1007/3-540-58601-6_90","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_90","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131795475","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Set Constraints and Set-Based Analysis 设置约束和基于集合的分析
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_107
N. Heintze, J. Jaffar
{"title":"Set Constraints and Set-Based Analysis","authors":"N. Heintze, J. Jaffar","doi":"10.1007/3-540-58601-6_107","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_107","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131724345","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 64
Efficient and Complete Tests for Database Integrity Constraint Checking 数据库完整性约束检查的有效和完整的测试
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_99
A. Gupta, Y. Sagiv, J. Ullman, J. Widom
{"title":"Efficient and Complete Tests for Database Integrity Constraint Checking","authors":"A. Gupta, Y. Sagiv, J. Ullman, J. Widom","doi":"10.1007/3-540-58601-6_99","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_99","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125326308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
CC Programs with both In- and Non-determinism: A Concurrent Semantics 具有确定性和非确定性的CC程序:一种并发语义
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_98
U. Montanari, F. Rossi, V. Saraswat
{"title":"CC Programs with both In- and Non-determinism: A Concurrent Semantics","authors":"U. Montanari, F. Rossi, V. Saraswat","doi":"10.1007/3-540-58601-6_98","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_98","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121763431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Set Constraints: Results, Applications, and Future Directions 设置约束:结果、应用和未来方向
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_110
A. Aiken
{"title":"Set Constraints: Results, Applications, and Future Directions","authors":"A. Aiken","doi":"10.1007/3-540-58601-6_110","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_110","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133387498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 85
Foundations of Indefinite Constraint Databases 不确定约束数据库的基础
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_106
Manolis Koubarakis
{"title":"Foundations of Indefinite Constraint Databases","authors":"Manolis Koubarakis","doi":"10.1007/3-540-58601-6_106","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_106","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123954501","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Specification and Verification of Constraint-Based Dynamic Systems 基于约束的动态系统规范与验证
Principles and Practice of Constraint Programming Pub Date : 1994-05-02 DOI: 10.1007/3-540-58601-6_104
Y. Zhang, Alan K. Mackworth
{"title":"Specification and Verification of Constraint-Based Dynamic Systems","authors":"Y. Zhang, Alan K. Mackworth","doi":"10.1007/3-540-58601-6_104","DOIUrl":"https://doi.org/10.1007/3-540-58601-6_104","url":null,"abstract":"","PeriodicalId":240088,"journal":{"name":"Principles and Practice of Constraint Programming","volume":"199 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116393893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 26
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信