Generating Boolean \(\mu\)-expressions

From MaRDI portal

Publication:1892713

Jump to:navigation, search

zbMath0824.68109MaRDI QIDQ1892713

Thomas Eiter

Publication date: 21 June 1995

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

propositional logic Boolean functions polynomial algorithms recognition problem NP- completeness

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Decomposing complete edge-chromatic graphs and hypergraphs. Revisited ⋮ Double Horn functions

This page was built for publication: Generating Boolean \(\mu\)-expressions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1892713&oldid=14293461"