Solving SAT Problem Based on Hybrid Differential Evolution Algorithm

DOI10.1007/978-3-642-04962-0_28zbMATH Open1187.68555OpenAlexW1513629160MaRDI QIDQ3399958

Author name not available (Why is that?)

Publication date: 15 January 2010

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04962-0_28

zbMATH Keywords

SAT problemhill-climbing algorithmdifferential evolution algorithmhybrid differential evolution algorithm

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Hybrid evolutionary algorithm for solving general variational inequality problems 👍 👎
• Hybrid evolutionary algorithm for solving optimization problems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Solving SAT Problem Based on Hybrid Differential Evolution Algorithm

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