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 34 articles )

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

1 2 next

  1. Çil, Zeynel Abidin: An exact solution method for multi-manned disassembly line design with and/or precedence relations (2021)
  2. Edis, Emrah B.: Constraint programming approaches to disassembly line balancing problem with sequencing decisions (2021)
  3. Abidin Çil, Zeynel; Kizilay, Damla: Constraint programming model for multi-manned assembly line balancing problem (2020)
  4. Belle, Vaishak; De Raedt, Luc: Semiring programming: a semantic framework for generalized sum product problems (2020)
  5. Atan, Tankut; Çavdaroğlu, Burak: Minimization of rest mismatches in round robin tournaments (2018)
  6. 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)
  7. Mears, Christopher; de la Banda, Maria Garcia; Wallace, Mark; Demoen, Bart: A method for detecting symmetries in constraint models and its generalisation (2015)
  8. Han, Anthony F.; Li, Elvis C.: A constraint programming-based approach to the crew scheduling problem of the Taipei mass rapid transit system (2014)
  9. Aït-Kaci, Hassan: An abstract, reusable, and extensible programming language design architecture (2013)
  10. Öztürk, Cemalettin; Tunalı, Semra; Hnich, Brahim; Örnek, M. Arslan: Balancing and scheduling of flexible mixed model assembly lines (2013)
  11. Schrijvers, Tom; Tack, Guido; Wuille, Pieter; Samulowitz, Horst; Stuckey, Peter J.: Search combinators (2013)
  12. Heipcke, Susanne: Xpress-Mosel. Multi-solver, multi-problem, multi-model, multi-node modeling and problem solving (2012)
  13. van Hoeve, Willem-Jan: Semidefinite programming and constraint programming (2012)
  14. El Hachemi, Nizar; Gendreau, Michel; Rousseau, Louis-Martin: A hybrid constraint programming approach to the log-truck scheduling problem (2011)
  15. 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)
  16. Guns, Tias; Nijssen, Siegfried; De Raedt, Luc: Itemset mining: a constraint programming perspective (2011)
  17. Magatão, L.; Arruda, L. V. R.; Neves, F. jun.: A combined CLP-MILP approach for scheduling commodities in a pipeline (2011)
  18. Masoud, Mahmoud; Kozan, Erhan; Kent, Geoff: A job-shop scheduling approach for optimising sugarcane rail operations (2011)
  19. Fourer, Robert; Ma, Jun; Martin, Kipp: OSiL: An instance language for optimization (2010)
  20. Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent: Model-driven visualizations of constraint-based local search (2009)

1 2 next