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

Constraints最新文献

筛选
英文 中文
Encoding cardinality constraints using multiway merge selection networks 使用多路合并选择网络编码基数约束
IF 1.6 4区 计算机科学
Constraints Pub Date : 2019-04-05 DOI: 10.1007/s10601-019-09302-0
Michał Karpiński, M. Piotrów
{"title":"Encoding cardinality constraints using multiway merge selection networks","authors":"Michał Karpiński, M. Piotrów","doi":"10.1007/s10601-019-09302-0","DOIUrl":"https://doi.org/10.1007/s10601-019-09302-0","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"24 1","pages":"234 - 251"},"PeriodicalIF":1.6,"publicationDate":"2019-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-019-09302-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44667187","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}
引用次数: 15
Correct approximation of IEEE 754 floating-point arithmetic for program verification 正确逼近IEEE 754浮点算法的程序验证
IF 1.6 4区 计算机科学
Constraints Pub Date : 2019-03-11 DOI: 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}
引用次数: 3
Model counting with error-correcting codes 带纠错码的模型计数
IF 1.6 4区 计算机科学
Constraints Pub Date : 2019-02-08 DOI: 10.1007/s10601-018-9296-3
D. Achlioptas, P. Theodoropoulos
{"title":"Model counting with error-correcting codes","authors":"D. Achlioptas, P. Theodoropoulos","doi":"10.1007/s10601-018-9296-3","DOIUrl":"https://doi.org/10.1007/s10601-018-9296-3","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"24 1","pages":"162 - 182"},"PeriodicalIF":1.6,"publicationDate":"2019-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-018-9296-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195888","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}
引用次数: 0
Not all FPRASs are equal: demystifying FPRASs for DNF-counting 并不是所有的FPRASs都是一样的:揭开FPRASs对dnf计数的神秘面纱
IF 1.6 4区 计算机科学
Constraints Pub Date : 2018-12-26 DOI: 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}
引用次数: 16
From MDD to BDD and Arc consistency 从MDD到BDD和Arc一致性
IF 1.6 4区 计算机科学
Constraints Pub Date : 2018-07-12 DOI: 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}
引用次数: 7
MiniBrass: Soft constraints for MiniZinc MiniBrass: MiniZinc的软约束
IF 1.6 4区 计算机科学
Constraints Pub Date : 2018-07-05 DOI: 10.1007/s10601-018-9289-2
Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, W. Reif
{"title":"MiniBrass: Soft constraints for MiniZinc","authors":"Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, W. Reif","doi":"10.1007/s10601-018-9289-2","DOIUrl":"https://doi.org/10.1007/s10601-018-9289-2","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"23 1","pages":"403 - 450"},"PeriodicalIF":1.6,"publicationDate":"2018-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-018-9289-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52195809","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}
引用次数: 9
Cost-based filtering algorithms for a Capacitated Lot Sizing Problem and the Constrained Arborescence Problem 基于成本的滤波算法求解有容量批量问题和受限树形问题
IF 1.6 4区 计算机科学
Constraints Pub Date : 2018-06-16 DOI: 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}
引用次数: 0
Decision diagrams for optimization 优化决策图
IF 1.6 4区 计算机科学
Constraints Pub Date : 2018-06-16 DOI: 10.1007/s10601-015-9221-y
A. Ciré
{"title":"Decision diagrams for optimization","authors":"A. Ciré","doi":"10.1007/s10601-015-9221-y","DOIUrl":"https://doi.org/10.1007/s10601-015-9221-y","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"20 1","pages":"494-495"},"PeriodicalIF":1.6,"publicationDate":"2018-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-015-9221-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46301173","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}
引用次数: 130
Introduction to the CPAIOR 2018 fast track issue CPAIOR 2018快速通道问题介绍
IF 1.6 4区 计算机科学
Constraints Pub Date : 2018-05-29 DOI: 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}
引用次数: 0
Linear-time filtering algorithms for the disjunctive constraint and a quadratic filtering algorithm for the cumulative not-first not-last 对析取约束的线性时间滤波算法和累积非先非后的二次滤波算法
IF 1.6 4区 计算机科学
Constraints Pub Date : 2018-04-11 DOI: 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}
引用次数: 1
首页 上一页 下一页 尾页
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学术官方微信