OPL

Search and strategies in OPL. OPL is a modeling language for mathematical programming and combinatorial optimization. It is the first language to combine high-level algebraic and set notations from mathematical modeling languages with a rich constraint language and the ability to specify search procedures and strategies that are the essence of constraint programming. This paper describes the facilities available in OPL to specify search procedures. It describes the abstractions of OPL to specify both the search tree (search) and how to explore it (strategies). The paper also illustrates how to use these high-level constructs to implement traditional search procedures in constraint programming and scheduling.


References in zbMATH (referenced in 30 articles )

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

1 2 next

  1. Atan, Tankut; Çavdaroğlu, Burak: Minimization of rest mismatches in round Robin tournaments (2018)
  2. Laborie, Philippe; Rogerie, Jérôme; Shaw, Paul; Vilím, Petr: IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG (2018)
  3. Mears, Christopher; de la Banda, Maria Garcia; Wallace, Mark; Demoen, Bart: A method for detecting symmetries in constraint models and its generalisation (2015)
  4. Han, Anthony F.; Li, Elvis C.: A constraint programming-based approach to the crew scheduling problem of the Taipei mass rapid transit system (2014)
  5. Aït-Kaci, Hassan: An abstract, reusable, and extensible programming language design architecture (2013)
  6. Öztürk, Cemalettin; Tunalı, Semra; Hnich, Brahim; Örnek, M. Arslan: Balancing and scheduling of flexible mixed model assembly lines (2013)
  7. Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.: Search combinators (2013)
  8. Heipcke, Susanne: Xpress-Mosel. Multi-solver, multi-problem, multi-model, multi-node modeling and problem solving (2012)
  9. van Hoeve, Willem-Jan: Semidefinite programming and constraint programming (2012)
  10. El Hachemi, Nizar; Gendreau, Michel; Rousseau, Louis-Martin: A hybrid constraint programming approach to the log-truck scheduling problem (2011)
  11. Gaudreault, Jonathan; Frayret, Jean-Marc; Rousseau, Alain; D’Amours, Sophie: Combined planning and scheduling in a divergent production system with co-production: a case study in the lumber industry (2011)
  12. Guns, Tias; Nijssen, Siegfried; De Raedt, Luc: Itemset mining: a constraint programming perspective (2011)
  13. Magatão, L.; Arruda, L. V. R.; Neves, F. jun.: A combined CLP-MILP approach for scheduling commodities in a pipeline (2011)
  14. Masoud, Mahmoud; Kozan, Erhan; Kent, Geoff: A job-shop scheduling approach for optimising sugarcane rail operations (2011)
  15. Fourer, Robert; Ma, Jun; Martin, Kipp: OSiL: An instance language for optimization (2010)
  16. Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent: Model-driven visualizations of constraint-based local search (2009)
  17. Fages, François; Martin, Julien: From rules to constraint programs with the Rules2CP modelling language (2009)
  18. Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal; Ågren, Magnus: Dynamic structural symmetry breaking for constraint satisfaction problems (2009)
  19. De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart: A flexible search framework for CHR (2008)
  20. Hamiez, J.-P.; Hao, J.-K.: Using solution properties within an enumerative search to solve a sports league scheduling problem (2008)

1 2 next