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

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

1 2 3 next

  1. Michel, L.; Van Hentenryck, P.: A microkernel architecture for constraint programming (2017)
  2. Triska, Markus: The Boolean constraint solver of SWI-prolog (system description) (2016)
  3. Beldiceanu, Nicolas; Katriel, Irit; Lorca, Xavier: Undirected forest constraints (2009)
  4. Dooms, Grégoire; Van Hentenryck, Pascal; Michel, Laurent: Model-driven visualizations of constraint-based local search (2009)
  5. Li, Haitao; Womer, Keith: Scheduling projects with multi-skilled personnel by a hybrid MILP/CP Benders decomposition algorithm (2009)
  6. Maher, Michael J.: Local consistency for extended CSPs (2009)
  7. Zhao, Lingzhong; Gu, Tianlong; Qian, Junyan; Cai, Guoyong: Test frame updating in CPM testing of prolog programs. (2008) ioport
  8. Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry: Global constraint catalogue: past, present and future (2007)
  9. Simonis, Helmut: Models for global constraint applications (2007)
  10. Bessiere, Christian; Hebrard, Emmanuel; Hnich, Brahim; Kiziltan, Zeynep; Walsh, Toby: Filtering algorithms for the NValue constraint (2006)
  11. Michel, Laurent; Van Hentenryck, Pascal: A modeling layer for constraint-programming libraries (2005)
  12. Cheang, B.; Li, H.; Lim, A.; Rodrigues, B.: Nurse rostering problems -- a bibliographic survey. (2003)
  13. Debled-Rennesson, Isabelle; Rémy, Jean-Luc; Rouyer-Degli, Jocelyne: Detection of the discrete convexity of polyominoes (2003)
  14. Duchier, Denys: Dominance constraints with Boolean connectives: A model-eliminative treatment (2003)
  15. Van Hentenryck, Pascal: Constraint and integer programming in OPL (2002)
  16. Mello, Paola; Milano, Michela; Gavanelli, Marco; Lamma, Evelina; Piccardi, Massimo; Cucchiara, Rita: From eager or lazy constrained data acquisition: A general framework (2001)
  17. Simonis, Helmut: Building industrial applications with constraint programming (2001)
  18. Coenen, Frans: Tesseral spatio-temporal reasoning for multi-dimensional data (2000)
  19. Génisson, Richard; Jégou, Philippe: On the relations between SAT and CSP enumerative algorithms (2000)
  20. Michel, Laurent; Van Hentenryck, Pascal: Localizer (2000)

1 2 3 next