conf.researchr.org / Chico Sundermann
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