Merkliste 
 1 Ergebnisse 
 
1

SAT-controlled redundancy addition and removal : a novel..:

, In: Proceedings of the 2009 Asia and South Pacific Design Automation Conference,
Wu, Chi-An ; Lin, Ting-Hao ; Huang, Shao-Lun. - p. 191-196 , 2009