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

DOI10.1134/S1064230707010078zbMATH Open1272.93079OpenAlexW1985884616MaRDI QIDQ367970FDOQ367970

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
• Title not available (Why is that?)

Uses Software

• BerkMin
• ModelSim

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)