Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing

DOI10.1007/978-3-540-73445-1_26zbMath1213.68588OpenAlexW1833916973MaRDI QIDQ3612672

Marcos Villagra, Benjamín Barán

Publication date: 10 March 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73445-1_26

zbMATH Keywords

local searchant colony optimizationSATadaptive fitness function

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Automated non-monotonic reasoning in System \textbf{P}

Uses Software

• Walksat
• Unnamed Item

This page was built for publication: Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing