On the properties of combination set operations.

DOI10.1016/S0020-0190(98)00067-2zbMath1078.68758MaRDI QIDQ2583562

Shin-ichi Minato, Hiroshi G. Okuno, Hideki Isozaki

Publication date: 17 January 2006

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Constraint satisfaction problemBinary decision diagramCombination set operationsRestriction and exclusion operatorsZero-suppressed BDD

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation

This page was built for publication: On the properties of combination set operations.