Fast and Efficient Search for All DC Solutions of PWL Circuits by Means of Oversized Polyhedra | IEEE Journals & Magazine | IEEE Xplore