Decision and optimization problems in the unreliable-circuit logic
From MaRDI portal
Publication:4644487
Abstract: The ambition constrained validity and the model witness problems in the logic UCL, for reasoning about circuits with unreliable gates, are analyzed. Moreover, two additional problems, motivated by the applications, are studied. One consists of finding bounds on the reliability rate of the gates that ensure that a given circuit has an intended success rate. The other consists of finding a reliability rate of the gates that maximizes the success rate of a given circuit. Sound and complete algorithms are developed for these problems and their computational complexity is studied.
Recommendations
- Approximate reasoning about logic circuits with single-fan-out unreliable gates
- scientific article; zbMATH DE number 5906481
- scientific article; zbMATH DE number 2123418
- On asymptotically optimal circuits in the basis \(\{\&,\neg\}\) in the case of inverse faults at the outputs of elements
- On the circuits reliability in ``anticonjunction basis with constant faults at gate inputs
Cited in
(5)- An unexpected Boolean connective
- Approximate reasoning about logic circuits with single-fan-out unreliable gates
- Optimization of the operation of an unreliable multiple-state device
- scientific article; zbMATH DE number 5906481 (Why is no real title available?)
- About the choice of the variable to unassign in a decision repair algorithm
This page was built for publication: Decision and optimization problems in the unreliable-circuit logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644487)
