M\'arton Hajdu

Identifiers

• name variant M\'arton Hajdu 0.60 · backfill

Papers (1)

1. Completeness of Synthesis under Realizability Assumptions using Superposition cs.LO · 2026 · author #1

Mentions

• 2605.19683 #1 · arxiv_oai · confidence 0.70 M\'arton Hajdu

Frequent Coauthors

• Eva Maria Wagner 1 shared papers
• Laura Kov\'acs 1 shared papers
• Petra Hozzov\'a 1 shared papers