Decision and optimization problems in the Unreliable-Circuit Logic.
João RasgaCristina SernadasPaulo MateusAmílcar SernadasPublished in: CoRR (2016)
Keyphrases
- optimization problems
- digital circuits
- logic synthesis
- evolutionary algorithm
- logic circuits
- delay insensitive
- decision making
- metaheuristic
- cost function
- objective function
- decision rules
- combinatorial optimization
- asynchronous circuits
- chip design
- high speed
- micron cmos
- optimization methods
- logic programming
- modal logic
- decision problems
- decision model
- multi valued
- decision makers
- sound and complete axiomatization
- defeasible logic
- neural network
- decision theory
- expert systems
- proof theory
- optimization criteria
- decision processes
- computational properties
- classical logic
- automated reasoning