Application of productions for automatic control of logical design of discrete devices

DOI10.1134/S1064230707010078MaRDI QIDQ367970zbMATH OpenOpenAlexFDO

Authors P. N. Bibilo, V. I. Romanov

Publication date 17 September 2013

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064230707010078

Mathematics Subject Classification ID

Synthesis problems (93B50) Discrete-time control/observation systems (93C55)

Cites work

• BerkMin: A fast and robust SAT-solver
• Logical design of discrete devices with the use of the production-frame model of knowledge representation. I
• Logical design of discrete devices with the use of the production-frame model of knowledge representation. II

Cited in

(2)

• Logical design of discrete devices with the use of the production-frame model of knowledge representation. II
• scientific article; zbMATH DE number 3865196 (Why is no real title available?)

Describes a project that uses

Uses Software

• ModelSim
• BerkMin

This page was built for publication: Application of productions for automatic control of logical design of discrete devices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q367970)