G12 - Towards the separation of problem modelling and problem solving

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

Volumn 5547 LNCS, Issue , 2009, Pages 8-10

  Wallace, Mark ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

Constraint programming; Modeling; Optimization; Search; Software platform

Indexed keywords

CONSTRAINT PROGRAMMING; ITS ARCHITECTURE; MODELING; OPTIMISATION SOFTWARE; SEARCH; SOFTWARE PLATFORM;

COMBINATORIAL OPTIMIZATION; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; CONSTRAINED OPTIMIZATION; CONSTRAINT THEORY; SOFTWARE ARCHITECTURE;

PROBLEM SOLVING;

EID: 69849085126     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01929-6_2     Document Type: Conference Paper

References (8)

1. Becket, R., Brand, S., Brown, M., Duck, G., Feydy, T., Fischer, J., Huang, J., Marriott, K. , Nethercote, N., Puchinger, J., Rafeh, R., Stuckey, P., Wallace, M.: The many roads leading to Rome: Solving Zinc models by various solvers. In: Proc. ModRef: 7th International Workshop on Constraint Modelling and Reformulation (2008)
2. Becket, R., de la Banda, M.G., Marriott, K., Somogyi, Z., Stuckey, P.J., Wallace, M.: Adding constraint solving to Mercury. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol.3819, pp. 118-133. Springer, Heidelberg (2005)
3. Duck, G., De Koninck, L., Stuckey, P.: Cadmium: An implementation of ACD term rewriting. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.5366, pp. 531-545. Springer, Heidelberg (2008)
4. Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P., Garcia de la Banda, M., Wallace, M.: The design of the Zinc modelling language. Constraints 13(3), 229-267 (2008)
5. Nethercote, N., Stuckey, P., Becket, R., Brand, S., Duck, G., 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)
6. Puchinger, J., Stuckey, P., Wallace, M., Brand, S.: From high-level model to branch-and-price solution in G12. In: Perron, L., Trick, M.A. (eds.) CPAIOR 2008. LNCS, vol.5015, pp. 218-232. Springer, Heidelberg (2008)
7. Rafeh, R., Marriott, K., de la Banda, M.G., Nethercote, N., Wallace, M.: Adding search to Zinc. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.5202, pp. 624-629. Springer, Heidelberg (2008)
8. Stuckey, P., de la Banda, M.G., Maher, M., Marriott, K., Slaney, J., So-mogyi, Z., Wallace, M., Walsh, T.: The G12 project: Mapping solver independent models to efficient solutions. In: van Beek, P. (ed.) CP 2005. LNCS, vol.3709, pp. 13-16. Springer, Heidelberg (2005)