Fast synthesis of threshold logic networks with optimization.
Yung-Chih ChenRunyi WangYan-Ping ChangPublished in: ASP-DAC (2016)
Keyphrases
- global optimization
- logic synthesis
- logic programming
- optimization problems
- optimization algorithm
- discrete optimization
- optimization process
- modal logic
- multi valued
- automated reasoning
- optimization procedure
- complex networks
- network structure
- query processing
- temporal logic
- social networks
- computer networks
- constrained optimization
- optimization model
- model checking
- cellular networks
- classical logic
- complex systems
- logic circuits
- adaptive threshold