Introducing esra, a Relational Language for Modelling Combinatorial Problems-Reference-Cited by-同舟云学术

Introducing esra, a Relational Language for Modelling Combinatorial Problems

Published:2004 Issue: Volume: Page:214-232
ISSN:0302-9743
Container-title:Logic Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Flener Pierre,Pearson Justin,Ågren Magnus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-25938-1_18.pdf

Reference38 articles.

1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)

2. Ambert, F., Legeard, B., Legros, E.: Programmation en logique avec contraintes sur ensembles et multi-ensembles héréditairement finis. Techniques et Sciences Informatiques 15(3), 297–328 (1996)

3. Bakewell, A., Frisch, A.M., Miguel, I.: Towards automatic modelling of constraint satisfaction problems: A system based on compositional refinement. In: Proceedings of the 2nd International Workshop on Modelling and Reformulating CSPs, pp. 3–17 (2003), Available at http://www-users.cs.york.ac.uk/~frisch/Reformulation/03/

4. Lecture Notes in Computer Science;M. Cadoli,1999

5. Lecture Notes in Computer Science;M. Carlsson,1997

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

1. A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models;Lecture Notes in Computer Science;2024

2. Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03

3. A Semantic Account for Modularity in Multi-language Modelling of Search Problems;Frontiers of Combining Systems;2011

4. An Integrated Modelling, Debugging, and Visualisation Environment for G12;Principles and Practice of Constraint Programming – CP 2010;2010

5. A Module-Based Framework for Multi-language Constraint Modeling;Logic Programming and Nonmonotonic Reasoning;2009