Pattern Optimizing Verification of Self-Align Quadruple Patterning | AMiner