Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT | IEEE Conference Publication | IEEE Xplore