Pub Date : 2019-03-11DOI: 10.1007/s10601-021-09322-9
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, M. Chiari, R. Gori
{"title":"Correct approximation of IEEE 754 floating-point arithmetic for program verification","authors":"Roberto Bagnara, Abramo Bagnara, Fabio Biselli, M. Chiari, R. Gori","doi":"10.1007/s10601-021-09322-9","DOIUrl":"https://doi.org/10.1007/s10601-021-09322-9","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"27 1","pages":"29 - 69"},"PeriodicalIF":1.6,"publicationDate":"2019-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44854291","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 : 2018-12-26DOI: 10.1007/s10601-018-9301-x
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
{"title":"Not all FPRASs are equal: demystifying FPRASs for DNF-counting","authors":"Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi","doi":"10.1007/s10601-018-9301-x","DOIUrl":"https://doi.org/10.1007/s10601-018-9301-x","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"24 1","pages":"211 - 233"},"PeriodicalIF":1.6,"publicationDate":"2018-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-018-9301-x","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48564498","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 : 2018-07-12DOI: 10.1007/s10601-018-9286-5
Julien Vion, S. Piechowiak
{"title":"From MDD to BDD and Arc consistency","authors":"Julien Vion, S. Piechowiak","doi":"10.1007/s10601-018-9286-5","DOIUrl":"https://doi.org/10.1007/s10601-018-9286-5","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"23 1","pages":"451 - 480"},"PeriodicalIF":1.6,"publicationDate":"2018-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-018-9286-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195780","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 : 2018-06-16DOI: 10.1007/s10601-018-9292-7
V. R. Houndji
{"title":"Cost-based filtering algorithms for a Capacitated Lot Sizing Problem and the Constrained Arborescence Problem","authors":"V. R. Houndji","doi":"10.1007/s10601-018-9292-7","DOIUrl":"https://doi.org/10.1007/s10601-018-9292-7","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"23 1","pages":"481 - 482"},"PeriodicalIF":1.6,"publicationDate":"2018-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-018-9292-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195856","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 : 2018-05-29DOI: 10.1007/s10601-018-9291-8
Willem-Jan van Hoeve
{"title":"Introduction to the CPAIOR 2018 fast track issue","authors":"Willem-Jan van Hoeve","doi":"10.1007/s10601-018-9291-8","DOIUrl":"https://doi.org/10.1007/s10601-018-9291-8","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"23 1","pages":"294 - 295"},"PeriodicalIF":1.6,"publicationDate":"2018-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-018-9291-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195832","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 : 2018-04-11DOI: 10.1007/s10601-018-9282-9
Hamed Fahimi, Yanick Ouellet, Claude-Guy Quimper
{"title":"Linear-time filtering algorithms for the disjunctive constraint and a quadratic filtering algorithm for the cumulative not-first not-last","authors":"Hamed Fahimi, Yanick Ouellet, Claude-Guy Quimper","doi":"10.1007/s10601-018-9282-9","DOIUrl":"https://doi.org/10.1007/s10601-018-9282-9","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"23 1","pages":"272 - 293"},"PeriodicalIF":1.6,"publicationDate":"2018-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-018-9282-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48926699","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 : 2018-03-19DOI: 10.1007/s10601-018-9281-x
Philippe Laborie, J. Rogerie, Paul Shaw, Petr Vilím
{"title":"IBM ILOG CP optimizer for scheduling","authors":"Philippe Laborie, J. Rogerie, Paul Shaw, Petr Vilím","doi":"10.1007/s10601-018-9281-x","DOIUrl":"https://doi.org/10.1007/s10601-018-9281-x","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"23 1","pages":"210 - 250"},"PeriodicalIF":1.6,"publicationDate":"2018-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-018-9281-x","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195757","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：