scientific article; zbMATH DE number 910866
From MaRDI portal
Publication:4886040
zbMath0858.94035MaRDI QIDQ4886040
Publication date: 28 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35)
Related Items (7)
Reasoning with ordered binary decision diagrams ⋮ Randomized OBDD-based graph algorithms ⋮ Randomized OBDD-Based Graph Algorithms ⋮ Output-size sensitiveness of OBDD construction through maximal independent set problem ⋮ Symbolic topological sorting with OBDDs ⋮ Translation among CNFs, characteristic models and ordered binary decision diagrams ⋮ Ordered binary decision diagrams as knowledge-bases
This page was built for publication:
