Compiling and executing declarative modeling languages to gecode

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5366 LNCS, Issue , 2008, Pages 744-748

  Cipriano, Raffaele ^a   Dovier, Agostino ^a   Mauro, Jacopo ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; LINGUISTICS; LOGIC PROGRAMMING; PROGRAMMING THEORY; PROLOG (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; PROGRAM COMPILERS;

CLP (FD); RUNNING TIME; RUNNING TIMES; SICS TUS PROLOG;

PROGRAM COMPILERS; MODELING LANGUAGES;

CLASSICAL PROBLEMS; COMBINATORIAL PROBLEM; DECLARATIVE MODELS; RUNNING TIME; SICSTUS PROLOG;

EID: 58549104192     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_69     Document Type: Conference Paper

References (10)

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. Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: Minizinc: Towards a Standard CP Modelling Language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529-543. Springer, Heidelberg (2007)
5. Nethercote, N.: Specification of Flat Zinc, http://www.g12.cs.mu.oz.au/ minizinc/flatzinc-spec.pdf
6. Cipriano, R., Dovier, A., Jacopo, M.: Tools for Compiling SICStus and Minizinc in Gecode, http://www.dimi.uniud.it/dovier/MISIGE/
7. Dovier, A., Formisano, A., Pontelli, E.: A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 67-82. Springer, Heidelberg (2005)
8. Cipriano, R., Di Gaspero, L., Dovier, A.: Hybrid Approaches for Rostering: a Case Study in The Integration of Constraint Programming and Local Search. In: Almeida, F., Blesa Aguilera, M.J., Blum, C., Moreno Vega, J.M., Pérez Pérez, M., Roli, A., Sampels, M. (eds.) HM 2006. LNCS, vol. 4030, pp. 110-123. Springer, Heidelberg (2006)
9. Cipriano, R., Dal Palù, A., Dovier, A.: A Hybrid Approach Mixing Local Search and Constraint Programming Applied to the Protein Structure Prediction Problem. In: WCB 2008, Paris (2008)
10. Dovier, A., Formisano, A., Pontelli, E.: Multivalued Action Languages with Constraints in CLP(FD). In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 255-270. Springer, Heidelberg (2007)