Short-circuit Analysis using a Parallel QBF Solver | IEEE Conference Publication | IEEE Xplore