Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.

Marcos Villagra, Benjamn Barn

Browse the full WoLLIC paper archive.