Synthesizing cubes to satisfy a given intersection pattern

DOI10.1016/j.dam.2015.03.012zbMath1339.94101OpenAlexW578461542MaRDI QIDQ2355742

Marc D. Riedel, Weikang Qian, Ivo G. Rosenberg

Publication date: 24 July 2015

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2015.03.012

zbMATH Keywords

cubeBoolean productmintermtwo-level logic synthesis

Mathematics Subject Classification ID

Boolean functions (06E30) Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05)

Cites Work

• Unnamed Item
• The worst-case time complexity for generating all maximal cliques and computational experiments
• Algorithm 457: finding all cliques of an undirected graph

This page was built for publication: Synthesizing cubes to satisfy a given intersection pattern