Pub Date : 1994-05-02DOI: 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}
Pub Date : 1994-05-02DOI: 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}
Pub Date : 1994-05-02DOI: 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}
Pub Date : 1994-05-02DOI: 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}
Pub Date : 1994-05-02DOI: 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}
Pub Date : 1994-05-02DOI: 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}
Pub Date : 1994-05-02DOI: 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}
Pub Date : 1994-05-02DOI: 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}
Pub Date : 1994-05-02DOI: 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}
Pub Date : 1994-05-02DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：