VARIABILITY 2026 (series) / Chico Sundermann
Registered user since Fri 6 May 2022
Name:Chico Sundermann
Country:Germany
Affiliation:TU Braunschweig
Personal website: https://www.tu-braunschweig.de/isf/team/chico-sundermann
X (Twitter): https://x.com/ChicoSundermann
GitHub: https://github.com/SundermannC
Research interests:#SAT, Knowledge Compilation, Feature Models, Product Lines
Contributions
Using general profile