Graph Invariants as Necessary Conditions for Global Constraints-Reference-Cited by-同舟云学术

Graph Invariants as Necessary Conditions for Global Constraints

Published:2005 Issue: Volume: Page:92-106
ISSN:0302-9743
Container-title:Principles and Practice of Constraint Programming - CP 2005
language:
Short-container-title:

Author:

Beldiceanu Nicolas,Carlsson Mats,Rampon Jean-Xavier,Truchet Charlotte

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11564751_10

Reference15 articles.

1. Dincbas, M., Simonis, H., Van Hentenryck, P.: Solving the car-sequencing problem in constraint logic programming. In: Kodratoff, Y. (ed.) 8th European Conference on Artificial Intelligence, ECAI 1988, Munich, Germany, August 1988, pp. 290–295. Pitmann Publishing, London (1988)

2. Frisch, A., Miguel, I., Walsh, T.: Extensions to proof planning for generating implied constraints. In: Proceedings of Calculemus (2001)

3. Beldiceanu, N., Carlsson, M., Rampon, J.-X.: Global constraint catalog. Technical Report T2005-06, Swedish Institute of Computer Science (2005)

4. Lecture Notes in Computer Science;N. Beldiceanu,2001

5. Lecture Notes in Computer Science;C. Bessière,2005

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

1. Invariants for time-series constraints;Constraints;2020-07-18

2. Unifying Reserve Design Strategies with Graph Theory and Constraint Programming;Lecture Notes in Computer Science;2018

3. Generating Linear Invariants for a Conjunction of Automata Constraints;Lecture Notes in Computer Science;2017

4. Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators;Lecture Notes in Computer Science;2014

5. Generation of Implied Constraints for Automaton-Induced Decompositions;2013 IEEE 25th International Conference on Tools with Artificial Intelligence;2013-11