Login / Signup
Peter Großmann
Publication Activity (10 Years)
Years Active: 2012-2022
Publications (10 Years): 4
Top Topics
Search Algorithm
Sat Solvers
Variable Neighborhood Descent
Satisfiability Testing
Top Venues
KI
Public Transp.
ATMOS
ICCTA
</>
Publications
</>