Oliver Markgraf
Publications
Talks
Teaching
CV

Oliver Markgraf

he/him

Kaiserslautern, Germany
University of Kaiserslautern-Landau
Email
Google Scholar
ORCID
GitHub
dblp

OSTRICH2: Solver for Complex String Constraints

Date: October 10, 2025

More Information

Share on

Bluesky Facebook LinkedIn Mastodon X (formerly Twitter)

Sitemap

Follow:
GitHub
Feed

© 2026 Oliver Markgraf, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2026-01-08