Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Introducing ESRA, a relational language for modelling combinatorial problems
RISE - Research Institutes of Sweden, ICT, SICS.
2004 (English)In: Proceedings of LOPSTR'03: Revised Selected Papers, 25-27 August 2003, Uppsala, Sweden, Springer-Verlag , 2004, 1, Vol. 3018, 214-232 p.Conference paper, Published paper (Refereed)
Abstract [en]

Current-generation constraint programming languages are considered by many, especially in industry, to be too low-level, difficult, and large. We argue that solver-independent, high-level relational constraint modelling leads to a simpler and smaller language, to more concise, intuitive, and analysable models, as well as to more efficient and effective model formulation, maintenance, reformulation, and verification. All this can be achieved without sacrificing the possibility of efficient solving, so that even time-pressed or less competent modellers can be well assisted. Towards this, we propose the ESRA relational constraint modelling language, showcase its elegance on some well-known problems, and outline a compilation philosophy for such languages.

Place, publisher, year, edition, pages
Springer-Verlag , 2004, 1. Vol. 3018, 214-232 p.
Series
LNCS
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-23568OAI: oai:DiVA.org:ri-23568DiVA: diva2:1042644
Conference
LOPSTR'03, 25-27 August 2003, Uppsala, Sweden, revised selected papers
Note

Springer LNCS: 3018

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-07-28Bibliographically approved

Open Access in DiVA

No full text

Other links

http

Search in DiVA

By author/editor
Ågren, Magnus
By organisation
SICS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 14 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.27.0