@TechReport{JBV02T2,
  author = 	 {Jensen, R.~M. and Bryant, R.~E. and Veloso, M.~M.},
  title = 	 {State-Set Branching: Leveraging {OBDD}s for Heuristic Search},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year = 	 2002,
  note =	 {{CMU-CS-02-174}}
}