A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates.
Swapnam BajpaiVaibhav KrishanDeepanshu KushNutan LimayeSrikanth SrinivasanPublished in: CoRR (2018)
Keyphrases
- k means
- learning algorithm
- computational complexity
- times faster
- experimental evaluation
- np hard
- significant improvement
- search space
- preprocessing
- optimal solution
- computational cost
- linear programming
- expectation maximization
- detection algorithm
- clustering algorithm
- dynamic programming
- neural network
- input data
- np complete
- orders of magnitude
- matching algorithm
- stereo matching
- recognition algorithm