A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates.
Swapnam BajpaiVaibhav KrishanDeepanshu KushNutan LimayeSrikanth SrinivasanPublished in: Algorithmica (2022)
Keyphrases
- experimental evaluation
- learning algorithm
- times faster
- optimal solution
- optimization algorithm
- preprocessing
- matching algorithm
- cost function
- recognition algorithm
- k means
- np hard
- dynamic programming
- similarity measure
- computational cost
- high accuracy
- particle swarm optimization
- expectation maximization
- probabilistic model
- genetic algorithm
- orders of magnitude
- segmentation algorithm
- linear programming
- objective function
- significant improvement
- computational complexity
- search algorithm