This book covers algorithms and applications of techniques from the artificial intelligence community in CAD for VLSI.