1 SAT Solving As implemented in - DPLL solvers: GRASP, Chaff and - Stochastic solvers: GSAT.
VLSI ‘Physics, Characterization and Technology’ Activities at IIT Bombay Microelectronics Group, Department of Electrical Engineering 2002 microel.
VLSI ‘Physics, Characterization and Technology’ Activities at IIT Bombay