Slide 1An Efficient Linear Time Triple Patterning Solver Haitong Tian Hongbo Zhang Zigang Xiao Martin D.F. Wong ASP-DAC’15 Slide 2 Outline Introduction Preliminaries An…