De l’influence de Jacques Pitrat sur mes recherches en programmation par contraintes

Author:

Beldiceanu Nicolas

Publisher

Cellule MathDoc/CEDRAM

Reference51 articles.

1. Extending CHIP in order to Solve Complex Scheduling and Placement Problems;['Aggoun, A.', 'Beldiceanu, N.'];Mathl. Comput. Modelling,1993

2. Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints;['Arafailova, E.', 'Beldiceanu, N.', 'Carlsson, M.', 'Flener, P.', 'Rodríguez, M. A. F.', 'Pearson, J.', 'Simonis, H.', 'Rueher, M.'];Principles and Practice of Constraint Programming (CP’2016),2016

3. [3] Arafailova, E.; Beldiceanu, N.; Douence, R.; Carlsson, M.; Flener, P.; Rodríguez, M. A. F.; Pearson, J.; Simonis, H. Global Constraint Catalog, Volume II, Time-Series Constraints (2018) (https://arxiv.org/abs/1609.08925)

4. Time-Series Constraints : Improvements and Application in CP and MIP Contexts;['Arafailova, E.', 'Beldiceanu, N.', 'Douence, R.', 'Flener, P.', 'Francisco Rodríguez, M. A.', 'Pearson, J.', 'Simonis, H.', 'Quimper, C.-G.'];International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR’16),2016

5. Generating Linear Invariants for a Conjunction of Automata Constraints;['Arafailova, E.', 'Beldiceanu, N.', 'Simonis, H.', 'Beck, C.'];Principles and Practice of Constraint Programming (CP’2017),2017

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3