Decision and optimization problems in the unreliable-circuit logic.
João RasgaCristina SernadasPaulo MateusAmílcar SernadasPublished in: Log. J. IGPL (2017)
Keyphrases
- optimization problems
- logic synthesis
- digital circuits
- delay insensitive
- evolutionary algorithm
- logic circuits
- decision making
- cost function
- high speed
- metaheuristic
- asynchronous circuits
- decision makers
- analog circuits
- optimization methods
- micron cmos
- chip design
- modal logic
- objective function
- multi valued
- decision process
- decision processes
- combinatorial optimization
- logic programming
- classical logic
- predicate logic
- epistemic logic
- truth table
- decision rules
- analog vlsi
- real time
- sound and complete axiomatization
- bayesian networks
- electronic circuits
- proof theory
- decision problems
- circuit design
- computational properties