thesis together with SUSE Germany and Linux kernel maintainers

Brief description of the topic
incorporate a SAT solver (picosat) into the Linux kernel configurator (make xconfig, make menuconfig) to support kernel configuration processes (detect dead features, control visibility of option subtrees, resolve configuration conflicts)

more details on the kconfig-sat website

Extent: B.Sc./ M.Sc.