An approximately fast algorithm for deciding the validity of disjunctive normal forms (DNFs)

MaRDI QIDQ1801736zbMATH OpenFDO

Authors Enmin Song, Wenqi Huang

Publication date 1992

Published in Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

NP-complete problemdisjunctive normal form validity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• On deterministic approximation of DNF
• scientific article; zbMATH DE number 4092808
• scientific article; zbMATH DE number 169259
• An algorithm for the satisfiability problem of formulas in conjunctive normal form
• On the learnability of disjunctive normal form formulas

Cited in

(4)

• scientific article; zbMATH DE number 169259 (Why is no real title available?)
• Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). II
• A DNF without Regular Shortest Consensus Path
• scientific article; zbMATH DE number 4137742 (Why is no real title available?)

This page was built for publication: An approximately fast algorithm for deciding the validity of disjunctive normal forms (DNFs)

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