A Satisfiability Algorithm for Sparse Depth-2 Threshold Circuits
Russell ImpagliazzoRamamohan PaturiStefan SchneiderPublished in: CoRR (2012)
Keyphrases
- computational complexity
- dynamic programming
- learning algorithm
- cost function
- high accuracy
- np hard
- experimental evaluation
- objective function
- times faster
- optimization algorithm
- preprocessing
- recognition algorithm
- convergence rate
- expectation maximization
- detection algorithm
- threshold selection
- sparse representation
- simulated annealing
- worst case
- search space
- high dimensional