Kazuyoshi Hayase

  • Citations Per Year
Learn More
Recently, triangulations of a point set have been intensively studied in computational geometry. Triangulations are very important not only from the viewpoint of their applications to computer graphics, numerical analysis but also from a fact that triangulations are yet another fundamental structure in discrete geometry like hyperplane arrangements. Our(More)
Coudert made a breakthrough in the two-level logic minimization problem with Ordered Binary Decision Diagrams (OBDDs for short) recently [3]. This paper discusses the relationship between the two OBDDs of a monotone function and its prime implicant set to clarify the complexity of this practically efficient method. We show that there exists a monotone(More)
  • 1