On some variants of the merging variables based (1+1)-evolutionary algorithm with application to MaxSAT problem

DOI10.1007/978-3-030-77876-7_8MaRDI QIDQ2117621zbMATH OpenOpenAlexFDO

Authors Aleksandr Anatol'evich Semënov, Ilya Otpuschennikov, Kirill Antonov

Publication date 22 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-77876-7_8

zbMATH Keywords

evolutionary algorithmsBoolean satisfiability problemMaxSAT problemmerging variables principle

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Integer programming (90C10)

Recommendations

• Using merging variables-based local search to solve special variants of MaxSAT problem
• Solving the SAT problem based on evolutionary algorithm
• On the analysis of the \((1+1)\) evolutionary algorithm
• On the analysis of a dynamic evolutionary algorithm
• scientific article; zbMATH DE number 1703859

Cites work

• scientific article; zbMATH DE number 1100794 (Why is no real title available?)
• scientific article; zbMATH DE number 1754585 (Why is no real title available?)
• scientific article; zbMATH DE number 7199588 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• Black-box optimization in an extended search space for SAT solving
• Comparing evolutionary algorithms to the (\(1+1\))-EA
• Merging variables: one technique of search in pseudo-Boolean optimization
• Multiplicative drift analysis
• On the analysis of the \((1+1)\) evolutionary algorithm
• Pseudo-Boolean optimization
• Using merging variables-based local search to solve special variants of MaxSAT problem

Cited in

(1)

• Using merging variables-based local search to solve special variants of MaxSAT problem

Describes a project that uses

Uses Software

• Transalg
• MapleAmpharos

This page was built for publication: On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem

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