BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
4 × USA
Collaborated with:
S.Ishihara N.Ishiura S.Yajima
Talks about:
problem (3) manipul (3) combinatori (2) suppress (2) diagram (2) effici (2) decis (2) zero (2) bdds (2) set (2)

Person: Shin-ichi Minato

DBLP DBLP: Minato:Shin=ichi

Contributed to:

SAT 20112011
DATE 20012001
DAC 19941994
DAC 19931993
DAC 19901990

Wrote 5 papers:

SAT-2011-Minato #diagrams #named #performance #permutation #problem
πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (SiM), pp. 90–104.
DATE-2001-MinatoI #combinator #problem #scalability #streaming
Streaming BDD manipulation for large-scale combinatorial problems (SiM, SI), pp. 702–707.
DAC-1994-Minato #algebra #set #using
Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs (SiM), pp. 420–424.
DAC-1993-Minato #combinator #problem #set
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems (SiM), pp. 272–277.
DAC-1990-MinatoIY #diagrams #performance
Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation (SiM, NI, SY), pp. 52–57.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.