Author:
Cipriano Raffaele,Dovier Agostino,Mauro Jacopo
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Team, G.: Gecode: Generic Constraint Development Environment, http://www.gecode.org
2. Jaffar, J., Maher, M.J.: Constraint Logic Programming: A survey. Journal of Logic Programming (19/20), 503–581 (1994)
3. Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver, 191–206
4. Lecture Notes in Computer Science;N. Nethercote,2007
5. Nethercote, N.: Specification of FlatZinc, http://www.g12.cs.mu.oz.au/minizinc/flatzinc-spec.pdf
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CoPTIC: Constraint Programming Translated Into C;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges;Logic-Based Program Synthesis and Transformation;2015
3. SUNNY: a Lazy Portfolio Approach for Constraint Solving;Theory and Practice of Logic Programming;2014-07
4. A Multi-paradigm Tool for Large Neighborhood Search;Hybrid Metaheuristics;2013
5. Cologne;Proceedings of the VLDB Endowment;2012-04