MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc-Reference-Cited by-同舟云学术

MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc

Published:2015 Issue: Volume: Page:376-392
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Rendl Andrea,Guns Tias,Stuckey Peter J.,Tack Guido

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-23219-5_27

Reference27 articles.

1. Augerat, P., Belenguer, J., Benavent, E., Corberan, A., Naddef, D., Rinaldi, G.: Computational results with a branch and cut code for the capacitated vehicle routing problem. Technical Report 949-M. Universite Joseph Fourier, Grenoble (1995)

2. Lecture Notes in Computer Science;B Belin,2014

3. Lecture Notes In Computer Science;P Flener,2003

4. Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming. Cengage Learning (2002)

5. Frisch, A.M., Harvey, W., Jefferson, C., Hernández, B.M., Miguel, I.: Essence : A constraint language for specifying combinatorial problems. Constraints 13(3), 268–306 (2008)

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

1. A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics;Lecture Notes in Computer Science;2024

2. SocialCOP: Reusable Building Blocks for Collective Constraint Optimization;Lecture Notes in Computer Science;2024

3. Exact Boolean Abstraction of Linear Equation Systems;Computation;2021-10-21

4. From MiniZinc to Optimization Modulo Theories, and Back;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2020

5. Spacetime Programming;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07