Translation among CNFs, characteristic models and ordered binary decision diagrams

DOI10.1016/S0020-0190(02)00374-5MaRDI QIDQ1007523zbMATH OpenOpenAlexFDO

Authors Takashi Horiyama, Toshihide Ibaraki

Publication date 23 March 2009

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

Full work available at URL https://doi.org/10.1016/s0020-0190(02)00374-5

zbMATH Keywords

algorithmscharacteristic modelHorn functionordered binary decision diagram (OBDD)conjunctive normal form (CNF)

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2080994
• Ordered binary decision diagrams as knowledge-bases
• scientific article; zbMATH DE number 861622
• scientific article; zbMATH DE number 1522923
• On compiling structured CNFs to OBDDs

Cites work

• scientific article; zbMATH DE number 1222598 (Why is no real title available?)
• scientific article; zbMATH DE number 861622 (Why is no real title available?)
• scientific article; zbMATH DE number 910866 (Why is no real title available?)
• Complexity of identification and dualization of positive Boolean functions
• Exact learning Boolean functions via the monotone theory
• Graph-Based Algorithms for Boolean Function Manipulation
• Horn approximations of empirical data
• Identifying the Minimal Transversals of a Hypergraph and Related Problems
• Learning conjunctions of Horn clauses
• On the Complexity of Dualization of Monotone Disjunctive Normal Forms
• Ordered binary decision diagrams as knowledge-bases
• Reasoning with models

Cited in

(2)

• scientific article; zbMATH DE number 2080994 (Why is no real title available?)
• scientific article; zbMATH DE number 861622 (Why is no real title available?)

Describes a project that uses

Uses Software

• ROBDD

This page was built for publication: Translation among CNFs, characteristic models and ordered binary decision diagrams

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