2015

Abstract domains in constraint programming

Pelleau, Marie, author

London, UK : ISTE Press ; Kidlington, Oxford, UK : Elsevier, 2015

 

2013

Ant Colony Optimization and Constraint Programming

Solnon, Christine



 

2005

Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Lo

International Conference on Applications of Declarative Programming and Knowledge Management (15th : 2004 : Potsdam, Germany)



 

2009

A class of algorithms for distributed constraint optimization

Petcu, Adrian



 

2013

Combinatorial search : from algorithms to systems

Hamadi, Youssef (Computer science researcher), author.

Heidelberg : Springer, 2013

 

2008

Complexity of constraints : an overview of current research themes

 

2021

Complexity of infinite-domain constraint satisfaction

Bodirsky, Manuel, 1976- author.

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2021

 

2013

Constraining designs for synthesis and timing analysis : a practical guide to synopsys design constraints (SDC)

Gangadharan, Sridhar

New York, NY : Springer, 2013

 

2005

Constraint-based local search

Van Hentenryck, Pascal.

Cambridge, Ma : MIT Press, 2005

Request It 

2021

Constraint handling in metaheuristics and applications

Singapore : Springer, [2021]

 

2008

Constraint handling rules : current research topics

 

2003

Constraint processing

Dechter, Rina, 1950-



 

1995

Constraint processing : selected papers

 

2014

Constraint programming and decision making

Cham : Springer, 2014

 

2018

Constraint programming and decision making : theory and applications

Cham, Switzerland : Springer, [2018]

 

2013

Constraint solving and language processing : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised selected papers

CSLP (Workshop) (7th : 2012 : Orléans, France)

Heidelberg : Springer, 2013

 

2005

Constraint solving and language processing : first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers

CSLP 2004 (2004 : Roskilde, Denmark)



 

2003

Constraint solving over multi-valued logics : application to digital circuits

Azevedo, Francisco



 

1998

Constraints and databases

Boston : Kluwer Academic Publishers, [1998]

Request It 

2014

Constraints meet concurrency

Mauro, Jacopo, author

Paris : Atlantis Press, 2014

 

2016

Data mining and constraint programming : foundations of a cross-disciplinary approach

Cham : Springer, 2016

 

2020

Decision making under constraints

Cham : Springer, [2020]

 

2014

Declarative programming and knowledge management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised selected papers

KDPD (Conference) (2013 : Kiel, Germany)

Cham : Springer, 2014

 

2019

Functional and constraint logic programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised selected papers

WFLP (Workshop) (26th : 2018 : Frankfurt am Main, Germany)

Cham, Switzerland : Springer, 2019

 

2021

Functional and constraint logic programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers

WFLP (Workshop) (28th : 2020 : Online)

Cham, Switzerland : Springer, [2021]

 

2011

Functional and constraint programming : 20th International Workshop, WFIP 2011, Odense, Denmark, July 19th. proceedings

WFLP 2011 (2011 : Odense, Denmark)



 

2005

Global optimization and constraint satisfaction : second international workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003 : revised selected papers

COCOS 2003 (2003 : Lausanne, Switzerland)



 

2006

Handbook of constraint programming

1st ed


 

2011

Hybrid optimization : the ten years of CPAIOR

 

2007

Integrated methods for optimization

Hooker, John, 1949-



 

2014

Integration of AI and OR techniques in constraint programming : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (11th : 2014 : Cork, Ireland)

Cham : Springer, 2014

 

2015

Integration of AI and OR techniques in constraint programming : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

CPAIOR (Conference : 2014- ) (12th : 2015 : Barcelona, Spain)

Cham : Springer, 2015

 

2016

Integration of AI and OR techniques in constraint programming : 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29-June 1, 2016, Proceedings

CPAIOR (Conference : 2014- ) (13th : 2016 : Banff, Alta.)

Switzerland : Springer, 2016

 

2017

Integration of AI and OR techniques in constraint programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

CPAIOR (Conference : 2014- ) (14th : 2017 : Padua, Italy)

Cham : Springer, 2017

 

2007

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 4th international conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007 : proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (4th : 2007 : Brussels, Belgium)



 

2008

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (5th : 2008 : Paris, France)



 

2009

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 : proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (6th : 2009 : Pittsburgh, Pa.)



 

2010

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010 ; proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (7th : 2010 : Bologna, Italy)



 

2011

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 8th international conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011 : proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (8th : 2011 : Berlin, Germany)



 

2012

Integration of AI and OR Techniques in constraint programming for combinatorial optimization problems : 9th International Conference, CPAIOR 2012, Nantes, France, May 28-June 1, 2012 : proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (9th : 2012 : Nantes, France)



 

2013

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013 : proceed

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (10th : 2013 : Yorktown Heights, N.Y.)



 

2005

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : second international conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005 ; pr

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (2nd : 2005 : Prague, Czech Republic)



 

2006

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006, Cork, Ireland, May 31-June 2, 2006 : proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (3rd : 2006 : Cork, Ireland)



 

2018

Integration of constraint programming, artificial intelligence, and operations research : 15th International Conference, CPAIOR 2018, Delft, the Netherlands, June 26-29, 2018, Proceedings

CPAIOR (Conference : 2014- ) (15th : 2018 : Delft, Netherlands)

Cham : Springer, 2018

 

2019

Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019 : Proceedings

International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (16th : 2019 : Thessalonikē, Greece)

Cham, Switzerland : Springer, [2019]

 

2020

Integration of constraint programming, artificial intelligence, and operations research : 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings

CPAIOR (Conference : 2014- ) (17th : 2020 : Online)



 

2021

Integration of constraint programming, artificial intelligence, and operations research : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (18th : 2021 : Vienna, Austria ; Online)

Cham, Switzerland : Springer, 2021

 

2022

Integration of constraint programming, artificial intelligence, and operations research : 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings

CPAIOR (Conference : 2014- ) (19th : 2022 : Los Angeles, Calif ; Online)

Cham, Switzerland : Springer, 2022

 

2023

Integration of constraint programming, artificial intelligence, and operations research : 20th International Conference, CPAIOR 2023, Nice, France, May 29-June 1, 2023, Proceedings

CPAIOR (Conference : 2014- ) (20th : 2023 : Nice, France)

Cham, Switzerland : Springer, 2023

 

2013

Introducing view constraints : the core iOS 6 developer's cookbook

Sadun, Erica.