„Constraint Programming“

Suchergebnisse

1.101 Treffer

• Principles and Practice of Constraint Programming – 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings
  2014 Springer International Publishing
• Design and implementation of a finite domain constraint logic programming system based on PROLOG with coroutining
  Müller, Jörg P. 2013 Saarländische Universitäts- und Landesbibliothek
• Design and implementation of a finite domain constraint logic programming system based on PROLOG with coroutining
  Müller, Jörg P. 1991 DFKI
• Encapsulated search and constraint programming in Oz
  Schulte, Christian ; Smolka, Gert ; Würtz, Jörg 2011 Saarländische Universitäts- und Landesbibliothek
• Encapsulated search and constraint programming in Oz
  Schulte, Christian ; Smolka, Gert ; Würtz, Jörg 1994 DFKI
• Object-oriented concurrent constraint programming in Oz
  Smolka, Gert ; Henz, Martin ; Würtz, Jörg 2011 Saarländische Universitäts- und Landesbibliothek
• Object oriented concurrent constraint programming in oz
  Smolka, Gert ; Henz, Martin ; Würtz, Jörg 1993 DFKI
• Integration of AI and OR Techniques in Constraint Programming – 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings
  2014 Springer International Publishing
• Constraint Programming and Decision Making
  Ceberio, Martine ; Kreinovich, Vladik 2014 Springer International Publishing
• Principles and practice of constraint programing – 19th international conference ; proceedings
  Schulte, Christian 2013 Springer
• Logic for programming, artificial intelligence, and reasoning – 18th international conference ; proceedings
  Bjørner, Nikolaj ; Voronkov, Andrei 2012 Springer
• Hybridizing constraint programming and meta-heuristics for multi-mode resource-constrained multiple projects scheduling Problem
  Ahmeti, Arben ; Musliu, Nysret
• Linear Programming with Unitary-Equivariant Constraints
  Grinko, Dmitry ; Ozols, Maris
• A complete and terminating execution model for Constraint Handling Rules
  Raiser, Frank ; Betz, Hariolf ; Frühwirth, Thom 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• A complete and terminating execution model for constraint handling rules
  Betz, Hariolf ; Raiser, Frank ; Frühwirth, Thom 2010 Univ., Fak. für Ingenieurwiss. und Informatik
• Algebraic Methodology and Software Technology – 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Algebraic methodology and software technology – 13th international conference ; revised selected papers
  Johnson, Michael ; Pavlovic, Dusko 2011 Springer
• Advances in artificial intelligence – proceedings
  Kuri-Morales, Angel ; Simari, Guillermo R. 2010 Springer
• Integration of AI and OR techniques in constraint programming for combinatorial optimization problems – second international conference ; proceedings
  Barták, Roman 2005 Springer
• Applications of declarative programming and knowledge management – 17th international conference ; revised selected papers
  Seipel, Dietmar 2009 Springer