A solution for combinational and asynchronous sequential logic problems by means of logic variable.
Cesar Elizondo-GonzalezPublished in: CDC (2003)
Keyphrases
- asynchronous circuits
- delay insensitive
- predicate logic
- modal logic
- automated reasoning
- efficient solutions
- data sets
- logic circuits
- computational properties
- exact solution
- approximate solutions
- multicriteria optimization
- defeasible logic
- classical logic
- robust optimization
- partial solutions
- mathematical programming
- np complete
- linear systems
- integer programming
- decision problems
- logic programming
- proof theory
- search space
- previously solved
- optimal solution