Registered user since Thu 24 Sep 2026
Name:Chico Sundermann
Country:Germany
Affiliation:University of Ulm
Personal website: https://www.uni-ulm.de/in/sp/team/chico-sundermann/
X (Twitter): https://x.com/ChicoSundermann
GitHub: https://github.com/SundermannC
Research interests:#SAT, Knowledge Compilation, Feature Models, Product Lines
Contributions
STAF 2025-profile
View general profile
View general profile