An efficient linear time triple patterning solver.

Autor: Tian, Haitong, Zhang, Hongbo, Xiao, Zigang, Wong, Martin D.F.
Zdroj: 20th Asia & South Pacific Design Automation Conference; 2015, p208-213, 6p
Databáze: Complementary Index