Skip to main content
SpringerLink
Log in

G12 - Towards the Separation of Problem Modelling and Problem Solving

  • Conference paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5547))

Abstract

This paper presents the G12 large scale optimisation software platform, and discusses aspects of its architecture.

Mark Wallace and the G12 team

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  8. Stuckey, P., de la Banda, M.G., Maher, M., Marriott, K., Slaney, J., Somogyi, 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Information Technology, Monash University, Building H, Caulfield, Vic. 3800, Australia

    Mark Wallace

Authors
  1. Mark Wallace
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Tepper School of Business, Carnegie Mellon University, 5000 Forbes Avenue, PA 15213, Pittsburgh, USA

    Willem-Jan van Hoeve

  2. Carnegie Mellon University, USA

    John N. Hooker

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wallace, M. (2009). G12 - Towards the Separation of Problem Modelling and Problem Solving. In: van Hoeve, WJ., Hooker, J.N. (eds) Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. CPAIOR 2009. Lecture Notes in Computer Science, vol 5547. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01929-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01929-6_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01928-9

  • Online ISBN: 978-3-642-01929-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation