Merkliste 
 1 Ergebnisse 
 
1

A SAT-based routing algorithm for cross-referencing biochip:

, In: Proceedings of the System Level Interconnect Prediction Workshop,