Reduction-based MAX-3SAT with low nonlinearity and lattices under recombination

DOI10.1007/978-3-031-57712-3_8MaRDI QIDQ6635982zbMATH OpenFDO

Authors Darrell Whitley, Gabriela Ochoa, Noah Floyd, Francisco Chicano

Publication date 12 November 2024

zbMATH Keywords

max-SATrecombination operatorspartition crossoverevolutionary combinatorial optimization

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Evolutionary algorithms, genetic algorithms (computational aspects) (68W50) Combinatorial optimization (90C27)

Cites work

• scientific article; zbMATH DE number 5542185 (Why is no real title available?)
• scientific article; zbMATH DE number 1149448 (Why is no real title available?)
• scientific article; zbMATH DE number 956863 (Why is no real title available?)
• Combining Adaptive Noise and Look-Ahead in Local Search for SAT
• Compact quadratizations for pseudo-Boolean functions
• Critical Behavior in the Satisfiability of Random Boolean Expressions
• Decomposing SAT Instances with Pseudo Backbones
• Improving stochastic local search for SAT with a new probability distribution
• Partition Crossover can Linearize Local Optima Lattices of k-bounded Pseudo-Boolean Functions
• Partition Crossover for Pseudo-Boolean Optimization
• Pseudo-Boolean optimization
• Survey propagation: An algorithm for satisfiability
• Theory and Applications of Satisfiability Testing

This page was built for publication: Reduction-based MAX-3SAT with low nonlinearity and lattices under recombination

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