Pub Date : 2016-09-09DOI: 10.1007/s10601-016-9256-8
Willem-Jan van Hoeve, M. Rueher
{"title":"Introduction to the fast track issue for CP 2016","authors":"Willem-Jan van Hoeve, M. Rueher","doi":"10.1007/s10601-016-9256-8","DOIUrl":"https://doi.org/10.1007/s10601-016-9256-8","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"22 1","pages":"1 - 2"},"PeriodicalIF":1.6,"publicationDate":"2016-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-016-9256-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195350","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-09-03DOI: 10.1007/s10601-016-9250-1
Hiep Nguyen, C. Bessiere, S. D. Givry, T. Schiex
{"title":"Triangle-based consistencies for cost function networks","authors":"Hiep Nguyen, C. Bessiere, S. D. Givry, T. Schiex","doi":"10.1007/s10601-016-9250-1","DOIUrl":"https://doi.org/10.1007/s10601-016-9250-1","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"22 1","pages":"230 - 264"},"PeriodicalIF":1.6,"publicationDate":"2016-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-016-9250-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44026272","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-08-26DOI: 10.1007/s10601-016-9252-z
Amina Kemmar, Yahia Lebbah, S. Loudni, P. Boizumault, Thierry Charnois
{"title":"Prefix-projection global constraint and top-k approach for sequential pattern mining","authors":"Amina Kemmar, Yahia Lebbah, S. Loudni, P. Boizumault, Thierry Charnois","doi":"10.1007/s10601-016-9252-z","DOIUrl":"https://doi.org/10.1007/s10601-016-9252-z","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"22 1","pages":"265 - 306"},"PeriodicalIF":1.6,"publicationDate":"2016-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-016-9252-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49289156","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-08-23DOI: 10.1007/s10601-016-9251-0
D. Cohen, P. Jeavons
{"title":"The power of propagation: when GAC is enough","authors":"D. Cohen, P. Jeavons","doi":"10.1007/s10601-016-9251-0","DOIUrl":"https://doi.org/10.1007/s10601-016-9251-0","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"22 1","pages":"3 - 23"},"PeriodicalIF":1.6,"publicationDate":"2016-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-016-9251-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195299","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-05-20DOI: 10.1007/s10601-016-9247-9
M. Milano
{"title":"Report from the Editor in Chief, year 2015","authors":"M. Milano","doi":"10.1007/s10601-016-9247-9","DOIUrl":"https://doi.org/10.1007/s10601-016-9247-9","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"22 1","pages":"103 - 105"},"PeriodicalIF":1.6,"publicationDate":"2016-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-016-9247-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195287","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-05-02DOI: 10.1007/s10601-016-9246-x
Claude-Guy Quimper
{"title":"Introduction to the fast track issue for CPAIOR 2016","authors":"Claude-Guy Quimper","doi":"10.1007/s10601-016-9246-x","DOIUrl":"https://doi.org/10.1007/s10601-016-9246-x","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"21 1","pages":"355 - 356"},"PeriodicalIF":1.6,"publicationDate":"2016-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-016-9246-x","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195241","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-04-22DOI: 10.1007/s10601-016-9245-y
B. Hurley, B. O’Sullivan, D. Allouche, G. Katsirelos, T. Schiex, M. Zytnicki, S. D. Givry
{"title":"Multi-language evaluation of exact solvers in graphical model discrete optimization","authors":"B. Hurley, B. O’Sullivan, D. Allouche, G. Katsirelos, T. Schiex, M. Zytnicki, S. D. Givry","doi":"10.1007/s10601-016-9245-y","DOIUrl":"https://doi.org/10.1007/s10601-016-9245-y","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"21 1","pages":"413 - 434"},"PeriodicalIF":1.6,"publicationDate":"2016-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-016-9245-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-04-02DOI: 10.1007/s10601-016-9244-z
Avraham Itzhakov, M. Codish
{"title":"Breaking symmetries in graph search with canonizing sets","authors":"Avraham Itzhakov, M. Codish","doi":"10.1007/s10601-016-9244-z","DOIUrl":"https://doi.org/10.1007/s10601-016-9244-z","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"21 1","pages":"357 - 374"},"PeriodicalIF":1.6,"publicationDate":"2016-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-016-9244-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-04-01DOI: 10.1007/s10601-015-9190-1
F. Nabli, Thierry Martinez, F. Fages, S. Soliman
{"title":"On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity","authors":"F. Nabli, Thierry Martinez, F. Fages, S. Soliman","doi":"10.1007/s10601-015-9190-1","DOIUrl":"https://doi.org/10.1007/s10601-015-9190-1","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"204 1","pages":"251-276"},"PeriodicalIF":1.6,"publicationDate":"2016-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-015-9190-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52194263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}