Pub Date : 1999-10-25DOI: 10.1007/3-540-44654-0_15
Thom W. Frühwirth
{"title":"Proving Termination of Constraint Solver Programs","authors":"Thom W. Frühwirth","doi":"10.1007/3-540-44654-0_15","DOIUrl":"https://doi.org/10.1007/3-540-44654-0_15","url":null,"abstract":"","PeriodicalId":250839,"journal":{"name":"New Trends in Constraints","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131077370","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}
Stefano Bistarelli, P. Codognet, Y. Georget, F. Rossi
{"title":"Abstracting Soft Constraints","authors":"Stefano Bistarelli, P. Codognet, Y. Georget, F. Rossi","doi":"10.1007/3-540-44654-0_6","DOIUrl":"https://doi.org/10.1007/3-540-44654-0_6","url":null,"abstract":"","PeriodicalId":250839,"journal":{"name":"New Trends in Constraints","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121432926","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 : 1999-10-25DOI: 10.1007/3-540-44654-0_13
Henk Vandecasteele, Bart Demoen, Gerda Janssens
{"title":"A Finite Domain CLP Solver on Top of Mercury","authors":"Henk Vandecasteele, Bart Demoen, Gerda Janssens","doi":"10.1007/3-540-44654-0_13","DOIUrl":"https://doi.org/10.1007/3-540-44654-0_13","url":null,"abstract":"","PeriodicalId":250839,"journal":{"name":"New Trends in Constraints","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123657634","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 : 1999-10-25DOI: 10.1007/3-540-44654-0_10
R. Bahgat, S. Abdelrahman
{"title":"Combining Constraint Logic Programming Techniques for Solving Linear Problems","authors":"R. Bahgat, S. Abdelrahman","doi":"10.1007/3-540-44654-0_10","DOIUrl":"https://doi.org/10.1007/3-540-44654-0_10","url":null,"abstract":"","PeriodicalId":250839,"journal":{"name":"New Trends in Constraints","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124262110","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
扫码关注我们
求助内容：
应助结果提醒方式：