References in zbMATH (referenced in 62 articles )

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

1 2 3 4 next

  1. Audemard, Gilles; Boussemart, Frédéric; Lecoutre, Christophe; Piette, Cédric; Roussel, Olivier: XCSP(^3) and its ecosystem (2020)
  2. Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi: Declarative Programming with Intensional Sets in Java Using JSetL (2020) arXiv
  3. Omrani, Mohamed Amine; Naanaa, Wady: Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs (2020)
  4. Saadaoui, Ikram; Li, Zhiwu; Wu, Naiqi: Current-state opacity modelling and verification in partially observed Petri nets (2020)
  5. 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)
  6. Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang: MiniBrass: soft constraints for MiniZinc (2018)
  7. Gabay, Michaël; Brauner, Nadia; Kotov, Vladimir: Improved lower bounds for the online bin stretching problem (2017)
  8. Michel, L.; Van Hentenryck, P.: A microkernel architecture for constraint programming (2017)
  9. 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)
  10. Wahbi, Mohamed; Grimes, Diarmuid; Mehta, Deepak; Brown, Kenneth N.; O’Sullivan, Barry: A distributed optimization method for the geographically distributed data centres problem (2017)
  11. Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria: Visual search tree profiling (2016)
  12. Grégoire, Éric; Lagniez, Jean-Marie; Mazure, Bertrand: On getting rid of the preprocessing minimization step in MUC-finding algorithms (2015)
  13. 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)
  14. Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas: Synchronized sweep algorithms for scalable scheduling constraints (2015)
  15. Prestwich, S. D.; Tarim, S. A.; Rossi, R.; Hnich, B.: Hybrid metaheuristics for stochastic constraint programming (2015)
  16. Rossi, Roberto; Hnich, Brahim; Tarim, S. Armagan; Prestwich, Steven: Confidence-based reasoning in stochastic constraint programming (2015)
  17. Belin, Bruno; Christie, Marc; Truchet, Charlotte: Interactive design of sustainable cities with a distributed local search solver (2014) ioport
  18. Fages, Jean-Guillaume; Lapègue, Tanguy: Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem (2014)
  19. Hurley, Barry; Kotthoff, Lars; Malitsky, Yuri; O’Sullivan, Barry: Proteus: a hierarchical portfolio of solvers and transformations (2014) ioport
  20. Prosser, Patrick: Stable roommates and constraint programming (2014)

1 2 3 4 next