Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing

DOI10.1007/978-3-540-73445-1_26MaRDI QIDQ3612672zbMATH OpenOpenAlexFDO

Authors 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

adaptive fitness functionant colony optimizationlocal searchSAT

Mathematics Subject Classification ID

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

Recommendations

• Ant Colony Optimization with a Genetic Restart Approach toward Global Optimization
• scientific article; zbMATH DE number 1908584
• Ant colony optimization algorithm with three types of pheromones for the component assignment problem in linear consecutive-\(k\)-out-of-\(n\):F systems
• An ACO algorithm for the graph coloring problem
• Ant colony optimization with global pheromone evaluation for scheduling a single machine

Cited in

(3)

• Automated non-monotonic reasoning in System \textbf{P}
• Model Checking the Ant Colony Optimisation
• Propositional Satisfiability Logic via Ant Colony Optimization in Hopfield Neural Network

Describes a project that uses

Uses Software

• SATLIB
• Walksat

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612672)