SANER 2027 (series) / Chico Sundermann
Registered user since Thu 24 Sep 2026
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:Automated Reasoning, Knowledge Compilation, #SAT, Feature Models, Product Lines
Contributions
Using general profile