On Improving Local Search for Unsatisfiability
David PereiraInês LynceSteven D. PrestwichPublished in: LSCS (2009)
Keyphrases
- stochastic local search
- search space
- search algorithm
- genetic algorithm
- decision trees
- simulated annealing
- satisfiability testing
- real time
- job shop scheduling problem
- memetic algorithm
- optimization problems
- multi objective
- artificial neural networks
- optimal solution
- objective function
- case study
- neural network
- databases
- data sets