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: Minato:Shin=ichi
Contributed to:
2011
2001
199419931990Wrote 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.