Reasoning with ordered binary decision diagrams
type: Item
instance of: scholarly article
title: Reasoning with ordered binary decision diagrams
zbMATH Open document ID: 1077.68100
author: Takashi Horiyama
author: Toshihide Ibaraki
published in: Discrete Applied Mathematics
publication date: 2004-08-19T00:00:00Z
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 2093415
zbMATH Keywords: Knowledge representation
zbMATH Keywords: Automated reasoning
zbMATH Keywords: Ordered binary decision diagrams (OBDDs)
zbMATH Keywords: Deduction
zbMATH Keywords: Abduction
zbMATH Keywords: Horn functions
describes a project that uses: CUDD
MaRDI profile type: Publication
full work available at URL: j.dam.2004.02.002
OpenAlex ID: W2053451141
cites work: Binary Decision Diagrams
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: The complexity of theorem-proving procedures
cites work: Q4886040
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: The complexity of logic-based abduction
cites work: Ordered binary decision diagrams as knowledge-bases
cites work: Horn approximations of empirical data
cites work: Q4268444
cites work: Reasoning with models
cites work: Q4012209
cites work: Q5633670
cites work: Q5559213
cites work: Support set selection for abductive and default reasoning
DOI: 10.1016/J.DAM.2004.02.002
description: scientific article; zbMATH DE number 2093415