Login / Signup
Ralph Bottesch
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 10
Top Topics
Polynomial Kernels
Normal Form
Theorem Prover
Linear Inequalities
Top Venues
Arch. Formal Proofs
CoRR
APPROX-RANDOM
IPEC
</>
Publications
</>