Cover Image

Handbook of parallel constraint reasoning /

Show other versions (1)

Bibliographic Details
Corporate Author:	ProQuest (Firm)
Other Authors:	Hamadi, Youssef (Computer science researcher) (Editor), Sais, Lakhdar (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2018.
Subjects:	Constraints (Artificial intelligence) > Handbooks, manuals, etc. Parallel programming (Computer science) > Handbooks, manuals, etc. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Constraint-based reasoning /
Published: (1994)

A perspective of constraint-based reasoning : an introductory tutorial /
by: Guesgen, H. W.
Published: (1992)

Recent advances in constraints : 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers /
Published: (2011)

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 ; proceedings /
Published: (2005)

Foundations of constraint satisfaction /
by: Tsang, Edward
Published: (1993)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings /
Published: (2004)

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 /
Published: (2006)

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 /
Published: (2007)

Complexity of constraints : an overview of current research themes /
Published: (2008)

Constraint reasoning for differential models /
by: Cruz, Jorge
Published: (2005)

Constraint reasoning for differential models /
by: Cruz, Jorge
Published: (2005)

A perspective of constraint-based reasoning : an introductory tutorial /
by: Güsgen, Hans Werner, 1959-
Published: (1992)

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 /
Published: (2008)

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 /
Published: (2007)

An introduction to constraint-based temporal reasoning /
by: Barták, Roman, et al.
Published: (2014)

Constraint-based verification /
by: Yuan, Jun
Published: (2006)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004, Nice, France, April 20-22, 2004 : proceedings /
Published: (2004)

Practice and theory of automated timetabling III : third international conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000 : selected papers /
Published: (2001)

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

Practice and theory of automated timetabling : third international conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000 : selected papers /
Published: (2001)

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 ; proceedings /
Published: (2005)

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 /
Published: (2006)

Constraint-based verification /
by: Yuan, Jun
Published: (2006)

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

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)

Handbook of parallel computing : models, algorithms and applications /
Published: (2008)

Parallelism and implementation of logic and constraint logic programming /
Published: (1999)

Practice and theory of automated timetabling IV : 4th international conference, PATAT 2002, Gent, Belgium, August 21-23, 2002 : selected revised papers /
Published: (2003)

Concurrent constraint programming /
by: Saraswat, Vijay
Published: (1993)

Constraints.

Handbook of research on deep learning innovations and trends /
Published: (2019)

Practice and theory of automated timetabling II : second international conference, PATAT'97, Toronto, Canada, August 20-22, 1997 : selected papers /
Published: (1998)

Mundane reasoning by parallel constraint satisfaction /
by: Derthick, Mark
Published: (1990)

User manual and source code for a LAMMPS implementation of constant energy Dissipative Particle Dynamics (DPD-E) /
by: Larentzos, James P.
Published: (2014)

Emerging trends and applications in cognitive computing /
Published: (2019)

Handbook of intelligent computing and optimization for sustainable development /
Published: (2022)

Handbook of constraint programming /
Published: (2006)

Handbook of constraint programming /
Published: (2006)

Handbook of randomized computing /
Published: (2001)

The constraints management handbook /
by: Cox, James F.
Published: (1998)