On the properties of combination set operations

Information Processing Letters

Volumn 66, Issue 4, 1998, Pages 195-199

  Okuno, Hiroshi G ^a   Minato, Shin Ichi ^b   Isozaki, Hideki ^a  

^a Kashino Diverse Brain Research Laboratory of NTT Communication Science Laboratories   (Japan)

^b NTT CORPORATION   (Japan)

Author keywords

Binary decision diagram; Combination set operations; Constraint satisfaction problem; Restriction and exclusion operators; Zero suppressed BDD

Indexed keywords

EID: 0042764696     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0020-0190(98)00067-2     Document Type: Article

References (6)

1. R.E. Bryant, Graph-based algorithm for Boolean function manipulation, IEEE Trans. Comput. C-35 (5) (1986) 677-691.
2. O. Coudert, J.C. Madre, H. Fraisse, A new viewpoint on two-level logic minimization, in: Proc. of 30th ACM/IEEE Design Automation Conference, ACM/IEEE, 1993, pp. 625-630.
3. P.N. Johnson-Laird, Mental Models, Harvard Univ. Press, 1983.
4. V. Kumar, Algorithms for constraint-satisfaction problems: A survey, AI Magazine 13 (1) (1992) 32-44.
5. S. Minato, Zero-Suppressed BDDs for set manipulation in combinatorial problems, in: Proc. of 30th ACM/IEEE Design Automation Conference, ACM/IEEE, 1993, pp. 272-277.
6. H.G. Okuno, S. Minato, Solving constraint-satisfaction problems by binary decision diagrams (in Japanese), Trans. Information Processing Society of Japan 36 (8) (1995) 1789-1799.