ESRA

Introducing ESRA, a relational language for modelling combinatorial problems. 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.


References in zbMATH (referenced in 11 articles , 1 standard article )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc: MiningZinc: a declarative framework for constraint-based mining (2017)
  2. Tasharrofi, Shahab; Ternovska, Eugenia: A semantic account for modularity in multi-language modelling of search problems (2011)
  3. Bergenti, Federico; Dal Palù, Alessandro; Rossi, Gianfranco: Integrating finite domain and set constraints into a set-based constraint language (2009)
  4. Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka: A module-based framework for multi-language constraint modeling (2009)
  5. Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka: A module-based framework for multi-language constraint modeling (2009)
  6. Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian: Essence: A constraint language for specifying combinatorial problems (2008)
  7. Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark: The design of the zinc modelling language (2008)
  8. Mitchell, David G.; Ternovska, Eugenia: Expressive power and abstraction in Essence (2008)
  9. Cadoli, Marco; Mancini, Toni: Automated reformulation of specifications by safe delay of constraints (2006)
  10. Flener, Pierre; Pearson, Justin; Ågren, Magnus: Introducing ESRA, a relational language for modelling combinatorial problems (2004)
  11. Flener, Pierre; Pearson, Justin; Ågren, Magnus: Introducing ESRA, a relational language for modelling combinatorial problems (Abstract) (2003) ioport