An efficient local search method for random 3-satisfiability.
Sakari SeitzPekka OrponenPublished in: Electron. Notes Discret. Math. (2003)
Keyphrases
- detection method
- preprocessing
- experimental evaluation
- cost function
- dynamic programming
- similarity measure
- combinatorial optimization
- synthetic data
- memetic algorithm
- neural network
- search procedure
- search methods
- high precision
- support vector machine svm
- significant improvement
- prior knowledge
- artificial neural networks
- pairwise
- genetic algorithm