Evolving solutions to community-structured satisfiability formulas

Keyphrases

• (1+1) EA 33%
• Community Structure 66%
• Constant Constraints 33%
• Correlation Properties 33%
• Evolutionary Algorithms 100%
• Fitness Distance Correlation 33%
• Logarithmic Density 33%
• Non-uniform Distribution 33%
• Polynomial Time 33%
• Propositional Satisfiability 33%
• Random Formulas 33%
• Search Space 33%
• Strong Signals 33%

Computer Science

• Evolutionary Algorithms 100%
• Objective Function 33%
• Polynomial Time 33%
• Satisfying Assignment 66%
• Search Space 33%
• Uniform Random 33%

Mathematics

• Evolutionary Algorithms 100%
• Nonuniform 33%
• Objective Function 33%
• Polynomial Time 33%
• Search Space 33%