Showing 101 - 120 results of 222 for search '"constraint programming"', query time: 0.10s Refine Results
  1. 101
    Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /
    Published 2009
    Table of Contents: “… in Constraint-Based Analysis of Hybrid Systems -- From Rules to Constraint Programs with the Rules2CP Modelling…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 102
    Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /
    Published 2003
    Table of Contents: “… Checking -- Constraint Programming -- Separating Search and Strategy in Solver Cooperations -- Industrial…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 103
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
    Published 2000
    Table of Contents: “… -- Late Adaptation of Method Invocation Semantics -- Constraint Programming -- A Control Language…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 104
    Lectures on Concurrency and Petri Nets Advances in Petri Nets /
    Published 2004
    Table of Contents: “… on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 105
    Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
    Published 2005
    Table of Contents: “… Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 106
    Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 107
    Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers /
    Published 2019
    Table of Contents: “… for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 108
    Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /
    Published 2008
    Table of Contents: “… Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 109
    Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
    Published 2016
    Table of Contents: “…Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 110
    Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Procedure for UTVPI Constraints -- Declarative Constraint Programming with Definitional Trees -- Logical…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 111
    Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Strategy -- On the Combination of Constraint Programming and Stochastic Search: The Sudoku Case…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 112
    The Complexity of Valued Constraint Satisfaction Problems
    by Živný, Stanislav
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  13. 113
    Line Drawing Interpretation
    by Cooper, Martin
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  14. 114
    Handbook of Metaheuristics
    Published 2003
    Table of Contents: “…-Start Methods -- Local Search and Constraint Programming -- Constraint Satisfaction -- Artificial Neural…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 115
    Developing Concepts in Applied Intelligence
    Published 2011
    Table of Contents: “… -- A Constraint Programming Application for Rotating Workforce Scheduling -- Towards an Agent-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 116
    Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
    Published 2001
    Table of Contents: “… on an Epilog Tailored Procedure -- Constraint Programming -- Hierarchical Constraint Satisfaction Based…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 117
    Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers /
    Published 2006
    Table of Contents: “… -- A Hybrid Benders’ Decomposition Method for Solving Stochastic Constraint Programs with Linear…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 118
    A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
    Published 2010
    Table of Contents: “…? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 119
    Evolutionary Computation in Combinatorial Optimization 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings /
    Published 2004
    Table of Contents: “… and Constraint Programming on Binary Constraint Satisfaction Problems -- Binary Merge Model Representation…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 120
    Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search