A Method to Avoid Duplicative Flipping in Local Search for SAT.
Thach-Thao DuongDuc Nghia PhamAbdul SattarPublished in: Australasian Conference on Artificial Intelligence (2012)
Keyphrases
- similarity measure
- high accuracy
- computational cost
- prior knowledge
- high precision
- pairwise
- detection method
- optimization algorithm
- synthetic data
- classification method
- experimental evaluation
- cost function
- significant improvement
- objective function
- hill climbing
- learning algorithm
- memetic algorithm
- support vector machine svm
- simulated annealing
- support vector machine
- artificial neural networks
- search algorithm