A Distribution Method for Solving SAT in Grids.
Antti Eero Johannes HyvärinenTommi A. JunttilaIlkka NiemeläPublished in: SAT (2006)
Keyphrases
- experimental evaluation
- dynamic programming
- computational complexity
- pairwise
- computational cost
- cost function
- significant improvement
- clustering method
- support vector machine svm
- em algorithm
- detection method
- high precision
- preprocessing
- search algorithm
- similarity measure
- segmentation method
- combinatorial optimization
- classification method
- genetic algorithm
- random variables
- simulated annealing
- evolutionary algorithm
- face recognition