Merkliste 
 1 Ergebnisse 
 
1

A boolean satisfiability-based incremental rerouting approa..:

, In: Proceedings of the conference on Design, automation and test in Europe,
Nam, G. ; Sakallah, K. ; Rutenbar, R. - p. 560-565 , 2001