Mathematical Foundations of Computer Science 2003

DOI10.1007/B11836MaRDI QIDQ5431349zbMATH OpenOpenAlexFDO

Authors Peter Bro Miltersen, Ingo Wegener, Jaikumar Radhakrishnan

Publication date 7 December 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11836

Mathematics Subject Classification ID

Boolean functions (06E30)

Recommendations

• On converting CNF to DNF
• Boolean functions with a simple certificate for CNF complexity
• scientific article; zbMATH DE number 3855056
• On conversions from CNF to ANF
• A Relationship Between CNF and DNF Systems Derivable from Examples

Cited in

(5)

• On conversions from CNF to ANF
• On converting CNF to DNF
• scientific article; zbMATH DE number 7300405 (Why is no real title available?)
• scientific article; zbMATH DE number 5181726 (Why is no real title available?)
• On enumerating short projected models

This page was built for publication: Mathematical Foundations of Computer Science 2003

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5431349)