首页 > 最新文献

Constraints最新文献

英文 中文
Introduction to the fast track issue for CP 2016 cp2016快速通道问题介绍
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-09-09 DOI: 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}
引用次数: 0
Triangle-based consistencies for cost function networks 基于三角形的成本函数网络一致性
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-09-03 DOI: 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}
引用次数: 7
Prefix-projection global constraint and top-k approach for sequential pattern mining 序列模式挖掘的前缀投影全局约束和top-k方法
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-08-26 DOI: 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}
引用次数: 18
The power of propagation: when GAC is enough 传播的力量:当GAC足够时
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-08-23 DOI: 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}
引用次数: 10
Combining restarts, nogoods and bag-connected decompositions for solving CSPs 结合重启、nogoods和袋连通分解求解CSP
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-08-02 DOI: 10.1007/s10601-016-9248-8
Philippe Jégou, C. Terrioux
{"title":"Combining restarts, nogoods and bag-connected decompositions for solving CSPs","authors":"Philippe Jégou, C. Terrioux","doi":"10.1007/s10601-016-9248-8","DOIUrl":"https://doi.org/10.1007/s10601-016-9248-8","url":null,"abstract":"","PeriodicalId":55211,"journal":{"name":"Constraints","volume":"22 1","pages":"191 - 229"},"PeriodicalIF":1.6,"publicationDate":"2016-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10601-016-9248-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46253605","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
Report from the Editor in Chief, year 2015 总编辑报告,2015年
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-05-20 DOI: 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}
引用次数: 0
Introduction to the fast track issue for CPAIOR 2016 CPAIOR 2016快速通道问题介绍
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-05-02 DOI: 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}
引用次数: 0
Multi-language evaluation of exact solvers in graphical model discrete optimization 图形模型离散优化中精确解算器的多语言评价
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-04-22 DOI: 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}
引用次数: 56
Breaking symmetries in graph search with canonizing sets 正则化集图搜索中的破缺对称性
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-04-02 DOI: 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}
引用次数: 13
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity 利用CLP和SAT求解器枚举Petri网中的最小虹吸管:理论和实践的复杂性
IF 1.6 4区 计算机科学 Q4 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE Pub Date : 2016-04-01 DOI: 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}
引用次数: 9
期刊
Constraints
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1