A Satisfiability Algorithm for AC$^0$
Russell ImpagliazzoWilliam MatthewsRamamohan PaturiPublished in: CoRR (2011)
Keyphrases
- times faster
- computational complexity
- experimental evaluation
- detection algorithm
- dynamic programming
- high accuracy
- preprocessing
- probabilistic model
- np hard
- worst case
- particle swarm optimization
- expectation maximization
- similarity measure
- clustering method
- learning algorithm
- data sets
- optimal solution
- input data
- theoretical analysis