2017

Breakthrough: Power to the People - Series 2 - Ep 5

Australia : National Geographic, 2017

 

2017

Breakthrough: Predicting the Future - Series 2 - Ep 4

Australia : National Geographic, 2017

 

2015

Bridging constraint satisfaction and Boolean satisfiability

Petke, Justyna, author

Switzerland : Springer, [2015]

 

2008

Complexity of constraints : an overview of current research themes

 

2006

Constraint-based verification

Yuan, Jun



 

2005

Constraint reasoning for differential models

Cruz, Jorge



 

2013

Constraint Satisfaction Problems : CSP Formalisms and Techniques

Ghedira, Khaled



 

2011

Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems

Herde, Christian



 

1993

Foundations of constraint satisfaction

Tsang, Edward



 

2018

Handbook of parallel constraint reasoning

Cham, Switzerland : Springer, 2018

 

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)



 

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)



 

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)



 

2023

Intelligent autonomous control of spacecraft with multiple constraints

Hu, Qinglei.

Singapore : Springer, 2023

 

1992

A perspective of constraint-based reasoning : an introductory tutorial

Güsgen, Hans Werner, 1959-



 

2005

Practice and theory of automated timetabling V : 5th international conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers

International Conference on the Practice and Theory of Automated Timetabling (5th : 2004 : Pittsburgh, Pa.)



 

2007

Practice and theory of automated timetabling VI : 6th international conference, PATAT 2006, Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers

International Conference on the Practice and Theory of Automated Timetabling (6th : 2006 : Brno, Czech Republic)