scientific article; zbMATH DE number 1522923

MaRDI QIDQ4511219zbMATH OpenFDO

Authors Takashi Horiyama, Toshihide Ibaraki

Publication date 30 October 2000

zbMATH Keywords

ordered binary decision diagrams

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Ordered binary decision diagrams as knowledge-bases
• scientific article; zbMATH DE number 2080240
• Reasoning with ordered binary decision diagrams
• Binary decision diagrams
• scientific article; zbMATH DE number 1775052

Cited in

(8)

• Translation among CNFs, characteristic models and ordered binary decision diagrams
• Ordered binary decision diagrams as knowledge-bases
• Reasoning with ordered binary decision diagrams
• Using OBDDs to handle dynamic constraints
• scientific article; zbMATH DE number 2080240 (Why is no real title available?)
• scientific article; zbMATH DE number 2080994 (Why is no real title available?)
• OKFDDs versus OBDDs and OFDDs
• Ordered binary decision diagrams and the Davis-Putnam procedure

This page was built for publication:

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