A #SAT Algorithm for Small Constant-Depth Circuits with PTF Gates.
Swapnam BajpaiVaibhav KrishanDeepanshu KushNutan LimayeSrikanth SrinivasanPublished in: ITCS (2019)
Keyphrases
- detection algorithm
- computational complexity
- learning algorithm
- preprocessing
- recognition algorithm
- cost function
- objective function
- randomly generated
- search space
- times faster
- experimental evaluation
- computational cost
- matching algorithm
- simulated annealing
- high accuracy
- np hard
- significant improvement
- worst case
- expectation maximization
- neural network
- k means
- lower bound
- variable ordering
- stochastic local search algorithms