Tom\'a\v{s} Peitl

Identifiers

• name variant Tom\'a\v{s} Peitl 0.60 · backfill

Papers (1)

1. Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking cs.LO · 2026 · author #2

Mentions

• 2605.29763 #2 · arxiv_oai · confidence 0.70 Tom\'a\v{s} Peitl

Frequent Coauthors

• Leroy Chew 1 shared papers