Marcos Villagra, Benjamín Barán. Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing. In Daniel Leivant, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Volume 4576 of Lecture Notes in Computer Science, pages 352-361, Springer, 2007. [doi]
Abstract is missing.