Next: Comparison with Evolutionary Algorithms Up: An Adaptive Evolutionary Algorithm Previous: Adding Adaptivity

Results of Experiments

In order to evaluate the performance of our algorithm we conduct extensive simulations on benchmark instances from the literature, and compare the results to those reported in previous work based on evolutionary computation as well as to the most effective local search algorithms for SAT.

Claudio Rossi