Home | History | Annotate | Line # | Download | only in pldi2012
      1 These examples are taken from the "Polyhedra Scanning Revisited" paper
      2 by Chun Chen.
      3