`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:

### 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.