Name Card

Full name Familienname, Vorname
Beyersdorff, Olaf
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Beyersdorff-2024-ACM Transactions on Computation Theory-vor.pdf.jpgBeyersdorff, Olaf ; Blinkhorn, Joshua Lewis ; Peitl, Tomáš Strong (D)QBF Dependency Schemes via Implication-free Resolution PathsArticle Artikel 11-Nov-2024

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hitarth-2024-Linear Loop Synthesis for Quadratic Invariants-vor.pdf.jpgHitarth, S. ; Kenison, George James ; Kovacs, Laura ; Varonka, Anton Linear Loop Synthesis for Quadratic InvariantsInproceedings Konferenzbeitrag 11-Mar-2024