@TechReport{JBV02T1,
  author = 	 {Jensen, R.~M. and Bryant, R.~E. and Veloso, M.~M.},
  title = 	 {{SetA}* Applied to Channel Routing},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year = 	 2002,
  note =	 {{CMU-CS-02-172}}
}