Improving the Performance of Evolutionary Algorithms for the Satisfiability Problem by Refining Functions

An adaptive evolutionary algorithm for the satisfiability problem

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1

Local Search Algorithms for SAT: An Empirical Evaluation

Journal of Automated Reasoning

Evolutionary algorithms for the satisfiability problem

Evolutionary Computation

Adaptive Fitness Functions for the Satisfiability Problem

PPSN VI Proceedings of the 6th International Conference on Parallel Problem Solving from Nature

Evolutionary Genetic Algorithms in a Constraint Satisfaction Problem: Puzzle Eternity II

IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence

Evolutionary techniques in a constraint satisfaction problem: puzzle eternity II

CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation

Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems

ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence