Incorporating logic exclusivity (LE) constraints in noise analysis using gain guided backtracking method. - Ruiming Li; An-Jui Shey; Michel Laudes (ICCAD, 2008)