Scalable, high-quality, SAT-based multi-layer escape routing.
Sam BaylessHolger H. HoosAlan J. HuPublished in: ICCAD (2016)
Keyphrases
- multi layer
- high quality
- neural network
- feed forward neural networks
- neural nets
- answer set programming
- sat solvers
- error back propagation
- group sparse coding
- routing protocol
- high resolution
- multiple layers
- single layer
- artificial intelligence
- learning styles
- expert systems
- decision making
- web scale
- scalable video coding
- bounded model checking
- data mining