-SAT from the cavity method.
Stephan MertensMarc MézardRiccardo ZecchinaPublished in: Random Struct. Algorithms (2006)
Keyphrases
- preprocessing
- high accuracy
- computational cost
- experimental evaluation
- significant improvement
- detection method
- data sets
- objective function
- clustering method
- optimization algorithm
- logic programs
- feature set
- metaheuristic
- high precision
- combinatorial optimization
- search methods
- support vector machine
- classification accuracy
- probabilistic model
- dynamic programming
- k means
- artificial neural networks
- lower bound
- search algorithm
- bayesian networks
- similarity measure
- face recognition
- decision trees
- neural network