Login / Signup
Chico Sundermann
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 27
Top Topics
Propositional Satisfiability
Sat Solvers
Product Lines
Semidefinite
Top Venues
SPLC (A)
SPLC (B)
VaMoS
Software Engineering
</>
Publications
</>