A Satisfiability Algorithm for Synchronous Boolean Circuits.
Hiroki MorizumiPublished in: IEICE Trans. Inf. Syst. (2021)
Keyphrases
- learning algorithm
- detection algorithm
- dynamic programming
- search space
- experimental evaluation
- optimization algorithm
- improved algorithm
- significant improvement
- computational cost
- expectation maximization
- times faster
- k means
- matching algorithm
- clustering method
- theoretical analysis
- particle swarm optimization
- input data
- high accuracy
- probabilistic model
- computational complexity
- satisfiability problem
- neural network
- randomly generated
- simulated annealing
- high speed
- preprocessing
- objective function