Relaxation Techniques for the Simulation of VLSI Circuits nidottuEnglanti, 2011