Homepage of Takahisa Toda

Takahisa Toda

Last update: 2016-07-12


Japanese | English

1. Profile

Assistant Professor, Department of Communication Engineering and Informatics

Graduate School of Informatics and Engineering, The University of Electro-Communications, Tokyo, Japan

2. Research

  • Keywords: Binary Decision Diagrams, Boolean Satisfiability, Model Checking, Boolean Function, Hypergraph, Concrete Mathematics
  • Publications

3. Programs

  • All Solutions SAT Repository

    All Satisfying Assignments Computation for A Propositional Boolean Formula in Conjunction Normal Form

  • CNF2OBDD

    CNF to OBDD Compilation Using MiniSat

  • DB-TDD

    Dualization of Boolean functions

  • HTC-BDD

    Hypergraph Transversal Computation (equivalently, minimal hitting set generation)

  • ZCOMP/UNZCOMP

    Compression and decompression of hypergraphs