Constraint-based verification /

A perspective of constraint-based reasoning : an introductory tutorial /
by: Güsgen, Hans Werner, 1959-
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)

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)

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

Constraint reasoning for differential models /
by: Cruz, Jorge
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)

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)

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

Handbook of parallel constraint reasoning /
Published: (2018)

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)

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 : 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 : second international conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005 ; proceedings /
Published: (2005)

Practice and theory of automated timetabling V : 5th international conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers /
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)

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

Next generation HALT and HASS : robust design of electronics and systems /
by: Gray, Kirk, et al.
Published: (2016)

Analog electronics : analog circuitry explained /
by: Hickman, Ian
Published: (1990)

Constraint-based scheduling : applying constraint programming to scheduling problems /
by: Baptiste, Philippe
Published: (2001)

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

Constraint decision-making systems in engineering /
Published: (2023)

System-on-a-chip verification : methodology and techniques /
by: Rashinkar, Prakash, 1960-
Published: (2001)

Constraint propagation in flexible manufacturing /
by: Phan, Huy Toàn, 1971-
Published: (2000)

Hardware/software co-design and co-verification /
Published: (1997)

The student edition of MICRO-LOGIC : a digital circuit simulation program...adapted for education /
by: Coraor, Lee D.
Published: (1989)

Practice and theory of automated timetabling : first international conference, Edinburgh, U.K., August 29-September 1, 1995 : selected papers /
Published: (1996)

Microelectronic design of fuzzy logic-based systems /
Published: (2000)

Microelectronic design of fuzzy logic-based systems /
by: Baturone, I. (Iluminada), et al.
Published: (2000)

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)

Digital systems testing and testable design /
by: Abramovici, Miron
Published: (1990)

Design-for-test for digital IC's and embedded core systems /
by: Crouch, Alfred L.
Published: (1999)