Hiding propositional constants in BDDs.
type: Item
instance of: scholarly article
title: Hiding propositional constants in BDDs.
zbMATH Open document ID: 1425.68088
DOI: 10.1007/BF00121264
author: Jan Friso Groote
published in: Formal Methods in System Design
publication date: 2008-12-21T00:00:00Z
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5477975
zbMATH Keywords: binary decision diagram
zbMATH Keywords: propositional logic
zbMATH Keywords: satifiability
MaRDI profile type: Publication
cites work: Graph-Based Algorithms for Boolean Function Manipulation
full work available at URL: https://doi.org/10.1007/bf00121264
OpenAlex ID: W3016442180
description: scientific article; zbMATH DE number 5477975