Efficient SAT-Based Circuit Initialization for Larger Designs | IEEE Conference Publication | IEEE Xplore