Solving the SAT problem based on evolutionary algorithm

MaRDI QIDQ3501545zbMATH OpenFDO

Authors Hao Chen

Publication date 3 June 2008

zbMATH Keywords

crossoverevolutionary algorithmmutationNP hard

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Nonnumerical algorithms (68W05) Applications of optimal control and differential games (49N90)

Recommendations

• scientific article; zbMATH DE number 1961995
• Solving SAT Problem Based on Hybrid Differential Evolution Algorithm
• scientific article; zbMATH DE number 1305070
• Artificial Intelligence and Soft Computing - ICAISC 2004
• scientific article; zbMATH DE number 953056

Cited in

(8)

• Quasiphysical and quasisociological algorithm Solar for solving SAT problem
• On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem
• scientific article; zbMATH DE number 1961995 (Why is no real title available?)
• An artificial bee colony algorithm for solving SAT problem
• scientific article; zbMATH DE number 2040651 (Why is no real title available?)
• An evolutionary algorithm for theorem proving in propositional logic
• scientific article; zbMATH DE number 1696707 (Why is no real title available?)
• Solving SAT Problem Based on Hybrid Differential Evolution Algorithm

This page was built for publication: Solving the SAT problem based on evolutionary algorithm

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