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


    CNF to OBDD Compilation Using MiniSat

  • DB-TDD

    Dualization of Boolean functions


    Hypergraph Transversal Computation (equivalently, minimal hitting set generation)


    Compression and decompression of hypergraphs