A Satisfiability Algorithm for Depth-2 Circuits with a Symmetric Gate at the Top and AND Gates at the Bottom.
Takayuki SakaiKazuhisa SetoSuguru TamakiJunichi TeruyamaPublished in: Electron. Colloquium Comput. Complex. (2015)
Keyphrases
- cost function
- preprocessing
- computational complexity
- dynamic programming
- learning algorithm
- times faster
- experimental evaluation
- improved algorithm
- objective function
- randomly generated
- clustering method
- detection algorithm
- optimization algorithm
- segmentation algorithm
- computationally efficient
- high accuracy
- worst case
- expectation maximization
- theoretical analysis
- particle swarm optimization
- computational cost
- tree structure
- matching algorithm
- np hard
- k means
- search space