Representations, Fitness Functions and Genetic Operators for the Satisfiability Problem

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

Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems

Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems

Ant colony optimization with adaptive fitness function for satisfiability testing

WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation