Intractability in Linear Switch-Level SimulationLawrence P. HuangRandal E. Bryant1993IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems