scientific article; zbMATH DE number 1522923

zbMATH Open0964.68130MaRDI QIDQ4511219FDOQ4511219

Authors: Takashi Horiyama, Toshihide Ibaraki 

Publication date: 30 October 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

ordered binary decision diagrams

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (8)

• Reasoning with ordered binary decision diagrams
• Ordered binary decision diagrams and the Davis-Putnam procedure
• Using OBDDs to handle dynamic constraints
• Translation among CNFs, characteristic models and ordered binary decision diagrams
• Ordered binary decision diagrams as knowledge-bases
• OKFDDs versus OBDDs and OFDDs
• Title not available (Why is that?)
• Title not available (Why is that?)

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)