Constraint programming (Computer science)

Principles and practice of constraint programming14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings / by: (書目-語言資料,印刷品)

Constraint handling rulescurrent research topics / by: (書目-語言資料,印刷品)

Global optimization and constraint satisfactionfirst International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002 : revised selected papers / by: (書目-電子資源)

Principles and practice of constraint programming-CP 20039th international conference, CP 2003, Kinsale, Ireland, September 29-October 3, 2003 : proceedings / by: (書目-電子資源)

Recent advances in constraintsjoint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers / by: (書目-電子資源)

Principles and practice of constraint programming--CP 200410th international conference, CP 2004, Toronto, Canada, September 27-October 1, 2004 : proceedings / by: (書目-電子資源)

Recent advances in constraintsJoint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers / by: (書目-電子資源)

Semirings for soft constraint solving and programming by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problemsfirst international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings / by: (書目-電子資源)

Applications of declarative programming and knowledge management17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 ; proceedings / by: (書目-電子資源)

Recent advances in constraints13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / by: (書目-電子資源)

Principles and practice of constraint programming - CP 200915th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings / by: (書目-電子資源)

Constraint-based local search / by: (書目-語言資料,印刷品)

Integrated methods for optimization / by: (書目-語言資料,印刷品)

Handbook of constraint programming by: (書目-電子資源)

Principles and practice of constraint programming - CP 97Third International Conference, CP 97, Linz, Austria, October 29 - November 1, 1997 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming - CP984th international conference, CP98, Pisa, Italy, October 26-30, 1998 : proceedings / by: (書目-電子資源)

Analysis and visualization tools for constraint programmingconstraint debugging / by: (書目-電子資源)

New trends in constraintsjoint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / by: (書目-電子資源)

Principles and practice of constraint programming - CP 20006th International Conference, CP 2000, Singapore, September 18-21, 2000 : proceedings / by: (書目-電子資源)

Constraint-based agentsan architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds / by: (書目-電子資源)

Constraints in computational logicstheory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures / by: (書目-電子資源)

Principles and practice of constraint programming - CP20017th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings / by: (書目-電子資源)

Programming constraint serviceshigh-level programming of standard and new constraint services / by: (書目-電子資源)

A class of algorithms for distributed constraint optimization by: (書目-電子資源)

Ant colony optimization and constraint programming / by: (書目-語言資料,印刷品)

Principles and practice of constraint programming - CP 201016th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceedings / by: (書目-電子資源)

Hybrid optimizationthe ten years of CPAIOR / by: (書目-電子資源)

Recent advances in constraints14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011 : proceedings / by: (書目-電子資源)

Multiparadigm constraint programming languages by: (書目-電子資源)

Functional and constraint logic programming20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings / by: (書目-電子資源)

Principles and practice of constraint programmingCP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings / by: (書目-電子資源)

Integration of AI and OR Techniques in contraint programming for combinatorial optimzation problems9th International Conference, CPAIOR 2012, Nantes, France, May 28-June1, 2012 : proceedings / by: (書目-電子資源)

The complexity of valued constraint satisfaction problems by: (書目-電子資源)

Principles and practice of constraint programming18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings / by: (書目-電子資源)

Recent advances in constraints12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers / by: (書目-電子資源)

Constraint processing by: (書目-電子資源)

Constraint programming and decision making by: (書目-電子資源)

Constraints meet concurrency by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014 : proceedings / by: (書目-電子資源)

Declarative programming and knowledge managementDeclarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / by: (書目-電子資源)

Principles and practice of constraint programming20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings / by: (書目-電子資源)

Constraint satisfaction problemsCSP formalisms and techniques / by: (書目-語言資料,印刷品)

Integration of AI and OR techniques in constraint programming12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings / by: (書目-電子資源)

Data mining and constraint programmingfoundations of a cross-disciplinary approach / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (書目-電子資源)

Constraint theorymultidimensional mathematical model management / by: (書目-電子資源)

Constraint programming and decision makingtheory and applications / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings / by: (書目-電子資源)

Functional and constraint logic programming26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018 : revised selected papers / by: (書目-電子資源)

Decision making under constraints by: (書目-電子資源)

Abstract domains in constraint programming by: (書目-電子資源)

Principles and practice of constraint programming26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019 : proceedings / by: (書目-電子資源)

Constraint handling in metaheuristics and applications by: (書目-電子資源)

Functional and constraint logic programming28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations researchInternational Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research20th International Conference, CPAIOR 2023, Nice, France, May 29-June 1, 2023 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024 : proceedings.Part II / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024 : proceedings.Part I / by: (書目-電子資源)