Lukas André Feldgrill

Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control

Detecting minimal conflict sets is essential for providing meaningful feedback in knowledge-based configuration. While lazy conflict detection addresses runtime efficiency by predetermining conflict sets offline using a genetic algorithm, it suffers from low conflict coverage, stagnation, and instab