Login / Signup
Isabella Galter
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 4
Top Topics
Test Instances
Solution Quality
Computational Effort
Sat Solvers
Top Venues
MIUA (2)
CoRR
QTOP@NetSys
Frontiers ICT
</>
Publications
</>