Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity | IEEE Conference Publication | IEEE Xplore