Shin-ichi Minato
Shin-ichi Minato
Bestätigte E-Mail-Adresse bei i.kyoto-u.ac.jp - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Zero-suppressed BDDs for set manipulation in combinatorial problems
S Minato
Proceedings of the 30th International Design Automation Conference, 272-277, 1993
9811993
Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
S Minato, N Ishiura, S Yajima
27th ACM/IEEE Design Automation Conference, 52-57, 1990
5911990
Binary decision diagrams and applications for VLSI CAD
S Minato
Springer Science & Business Media, 2012
3212012
Zero-suppressed BDDs and their applications
S Minato
International Journal on Software Tools for Technology Transfer 3 (2), 156-170, 2001
1612001
Decision diagrams and pass transistor logic synthesis
V Bertacco, S Minato, P Verplaetse, L Benini, G De Micheli
Int'l Workshop on Logic Synth 168, 1997
961997
Distribution loss minimization with guaranteed error bound
T Inoue, K Takano, T Watanabe, J Kawahara, R Yoshinaka, A Kishimoto, ...
IEEE Transactions on Smart Grid 5 (1), 102-111, 2014
662014
Fast generation of irredundant sum-of-products forms from binary decision diagrams
S Minato
Proc. SASIMI'92, 64-73, 1992
641992
System and method for processing logic function and fault diagnosis using binary tree representation
S Minato
US Patent 5,493,504, 1996
591996
BDDs vs. Zero-Suppressed BDDs: for CTL symbolic model checking of petri nets
T Yoneda, H Hatori, A Takahara, S Minato
International Conference on Formal Methods in Computer-Aided Design, 435-449, 1996
531996
Frontier-based search for enumerating all constrained subgraphs with compressed representation
J Kawahara, T Inoue, H Iwashita, S Minato
IEICE Transactions on Fundamentals of Electronics, Communications and …, 2017
522017
Fast generation of prime-irredundant covers from binary decision diagrams
S Minato
IEICE transactions on fundamentals of electronics, communications and …, 1993
511993
Graphillion: software library for very large sets of labeled graphs
T Inoue, H Iwashita, J Kawahara, S Minato
International Journal on Software Tools for Technology Transfer 18 (1), 57-66, 2016
482016
Propositionalizing the EM algorithm by BDDs
M Ishihata, Y Kameya, T Sato, S Minato
Transactions of the Japanese Society for Artificial Intelligence 25 (3), 475-484, 2010
482010
Graph-based representations of discrete functions
S Minato
Representations of Discrete Functions, 1-28, 1996
471996
A fast method of statistical assessment for combinatorial hypotheses based on frequent itemset enumeration
S Minato, T Uno, K Tsuda, A Terada, J Sese
Joint European Conference on Machine Learning and Knowledge Discovery in …, 2014
462014
Finding all simple disjunctive decompositions using irredundant sum-of-products forms
SI Minato, G De Micheli
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided …, 1998
451998
Minimum-width method of variable ordering for binary decision diagrams
S Minato
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and …, 1992
441992
Fast factorization method for implicit cube set representation
SI Minato
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1996
431996
LCM over ZBDDs: Fast generation of very large-scale frequent itemsets using a compact graph-based representation
S Minato, T Uno, H Arimura
Pacific-Asia Conference on Knowledge Discovery and Data Mining, 234-246, 2008
412008
Finding all solutions and instances of numberlink and slitherlink by ZDDs
R Yoshinaka, T Saitoh, J Kawahara, K Tsuruma, H Iwashita, S Minato
Algorithms 5 (2), 176-213, 2012
372012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20