On the reification of global constraints-Reference-Cited by-同舟云学术

On the reification of global constraints

Published:2012-11-13 Issue:1 Volume:18 Page:1-6
ISSN:1383-7133
Container-title:Constraints
language:en
Short-container-title:Constraints

Author:

Beldiceanu Nicolas,Carlsson Mats,Flener Pierre,Pearson Justin

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Software

Link

http://link.springer.com/content/pdf/10.1007/s10601-012-9132-0.pdf

Reference14 articles.

1. Alvarez Divo, C.E. (2011). Automated reasoning on feature models via constraint programming. Master’s thesis, Uppsala University, Sweden. Tech. Rep. IT 11 041.

2. Beldiceanu, N., Carlsson, M., Flener, P., Pearson, J. (2012). On the reification of global constraints. Tech. Rep. T2012:02, Swedish Institute of Computer Science. Available at http://soda.swedish-ict.se/view/sicsreport/ .

3. Beldiceanu, N., Carlsson, M., Petit, T. (2004). Deriving filtering algorithms from constraint checkers. In CP 2004. LNCS (Vol. 3258, pp. 107–122). Springer.

4. Beldiceanu, N., Carlsson, M., Rampon, J.X. (2012). Global constraint catalog, 2nd edn. (revision a). Tech. Rep. T2012:03, Swedish Institute of Computer Science.

5. Beldiceanu, N., & Simonis, H. (2011). A constraint seeker: Finding and ranking global constraints from examples. In J.H.M. Lee (Ed.), CP 2011. LNCS (Vol. 6876). Springer.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2022

2. Coupling solvers with model transformations to generate explorable model sets;Software and Systems Modeling;2021-02-28

3. ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators;International Journal on Artificial Intelligence Tools;2020-06

4. Combining Constraint Languages via Abstract Interpretation;2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI);2019-11

5. LATTICE: A Framework for Optimizing IoT System Configurations at the Edge;2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS);2019-07