Stefan Jaax

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 20

Top Topics

Totally Unimodular

Quantifier Elimination

Population Size

Top Venues

Publications