ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel. - Patrick Franz; Thorsten Berger; Ibrahim Fayaz; Sarah Nadi; Evgeny Groshev (ICSE (SEIP), 2021)

A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export. - Jude Gyimah; Jan Sollmann; Ole Schuerks; Patrick Franz; Thorsten Berger (VaMoS, 2025)