SPLASH 2022 (series) / Chico Sundermann
![Chico Sundermann](https://2022.splashcon.org/getProfileImage/chicosundermann/e06bb22c-bc4b-4b0e-8a65-f42bb51d544b/small.jpg?1711649196000)
Registered user since Fri 6 May 2022
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
SPLASH 2022-profile
View general profile
View general profile