References in zbMATH (referenced in 66 articles )

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

1 2 3 4 next

  1. Müller, David; Müller, Marcus G.; Kress, Dominik; Pesch, Erwin: An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning (2022)
  2. Chalumeau, Félix; Coulon, Ilan; Cappart, Quentin; Rousseau, Louis-Martin: SeaPearl: a constraint programming solver guided by reinforcement learning (2021)
  3. Michel, L.; Schaus, P.; Van Hentenryck, P.: MiniCP: a lightweight solver for constraint programming (2021)
  4. Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi: Declarative Programming with Intensional Sets in Java Using JSetL (2020) arXiv
  5. Omrani, Mohamed Amine; Naanaa, Wady: Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs (2020)
  6. Saadaoui, Ikram; Li, Zhiwu; Wu, Naiqi: Current-state opacity modelling and verification in partially observed Petri nets (2020)
  7. 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)
  8. Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang: MiniBrass: soft constraints for MiniZinc (2018)
  9. Gabay, Michaël; Brauner, Nadia; Kotov, Vladimir: Improved lower bounds for the online bin stretching problem (2017)
  10. Michel, L.; Van Hentenryck, P.: A microkernel architecture for constraint programming (2017)
  11. Minot, Maël; Ndiaye, Samba Ndojh; Solnon, Christine: Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem (2017)
  12. Wahbi, Mohamed; Grimes, Diarmuid; Mehta, Deepak; Brown, Kenneth N.; O’Sullivan, Barry: A distributed optimization method for the geographically distributed data centres problem (2017)
  13. Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria: Visual search tree profiling (2016)
  14. Grégoire, Éric; Lagniez, Jean-Marie; Mazure, Bertrand: On getting rid of the preprocessing minimization step in MUC-finding algorithms (2015)
  15. Lardeux, Frédéric; Monfroy, Eric; Crawford, Broderick; Soto, Ricardo: Set constraint model and automated encoding into SAT: application to the social golfer problem (2015)
  16. Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas: Synchronized sweep algorithms for scalable scheduling constraints (2015)
  17. Prestwich, S. D.; Tarim, S. A.; Rossi, R.; Hnich, B.: Hybrid metaheuristics for stochastic constraint programming (2015)
  18. Rossi, Roberto; Hnich, Brahim; Tarim, S. Armagan; Prestwich, Steven: Confidence-based reasoning in stochastic constraint programming (2015)
  19. Belin, Bruno; Christie, Marc; Truchet, Charlotte: Interactive design of sustainable cities with a distributed local search solver (2014) ioport
  20. Fages, Jean-Guillaume; Lapègue, Tanguy: Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem (2014)

1 2 3 4 next