scientific article; zbMATH DE number 910729

zbMATH Open0858.94036MaRDI QIDQ4885887

Rolf Drechsler, Bernd Becker

Publication date: 22 August 1996

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

zbMATH Keywords

Boolean functionsordered Kronecker functional decision diagrams

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Related Items (1)

Introduction to the OBDD algorithm for the ATP community

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