scientific article; zbMATH DE number 139819

MaRDI QIDQ4028155zbMATH OpenFDO

Authors Stefan Höreth

Publication date 28 March 1993

zbMATH Keywords

decision graphsBDD-package

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• BDDs -- design, analysis, complexity, and applications.
• Introduction to the OBDD algorithm for the ATP community
• scientific article; zbMATH DE number 2090285
• scientific article; zbMATH DE number 1863167
• Implementation and Application of Automata

Cited in

(1)

• Implementation and Application of Automata

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 Q4028155)