Solving the SAT problem based on evolutionary algorithm

zbMATH Open1150.68464MaRDI QIDQ3501545FDOQ3501545

Authors: Hao Chen 

Publication date: 3 June 2008

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

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)

Cited In (8)

• Quasiphysical and quasisociological algorithm Solar for solving SAT problem
• Title not available (Why is that?)
• On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem
• An artificial bee colony algorithm for solving SAT problem
• Title not available (Why is that?)
• An evolutionary algorithm for theorem proving in propositional logic
• Title not available (Why is that?)
• 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)