A Gridless Approach to the Satisfiability of Self-Aligned Triple Patterning. - Hsiao-Lei Chien; Mei-Yen Chiu; Jie-Hong R. Jiang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)