On the usefulness of linkage processing for solving MAX-SAT1 (abstract)

More Concise and Robust Linkage Learning by Filtering and Combining Linkage Hierarchies (abstract)

Exploiting a problem’s structure to arrive at the most efficient optimization algorithm is key in many optimization disciplines. In evolutionary computation, especially for solving discrete optimization problems from a black-box optimization (BBO) perspective, linkage learning is an important research line because if important linkages are...

Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES (abstract)

Satisfiability in propositional logic is well researched and many approaches to checking and solving exist. In infinite-valued or fuzzy logics, however, there have only recently been attempts at developing methods for solving satisfiability. In this paper, we analyse the function landscape of different problem classes, focussing our analysis on...