scientific article; zbMATH DE number 7536575

zbMath1497.68145MaRDI QIDQ5863865

Shinobu Nagayama, Jon T. Butler, Tsutomu Sasao

Publication date: 3 June 2022

Full work available at URL: https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-38-number-3-4-2022/mvlsc-38-3-4-p-387-405/

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic designdynamic programming methodfunctional decompositionlinear decompositionzero-suppressed binary decision diagramsindex generation functions

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Boolean functions (06E30) Data structures (68P05)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: