A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates.
Swapnam BajpaiVaibhav KrishanDeepanshu KushNutan LimayeSrikanth SrinivasanPublished in: Electron. Colloquium Comput. Complex. (2018)
Keyphrases
- objective function
- computational complexity
- optimal solution
- search space
- expectation maximization
- high accuracy
- experimental evaluation
- learning algorithm
- computational cost
- matching algorithm
- optimization algorithm
- dynamic programming
- cost function
- probabilistic model
- preprocessing
- recognition algorithm
- linear programming
- significant improvement
- times faster
- convergence rate
- search strategy