Micha Schrader

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Hamming Distance

Technical Report

String Matching

Top Venues

Publications

Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader
CertiStr: a certified string solver. CPP (2022)
Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader
CertiStr: A Certified String Solver (technical report). CoRR (2021)