Emre Yolcu
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Marijn Heuleonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Weak Versions of Extended Resolution | Proof Complexity and Meta-Mathematics 2023 | 2023-03-20 |
Shows that a family of explicitly defined weakenings of extended resolution (BC-, SBC-, RAT-, SPR- etc.) are pairwise incomparable by giving a uniform… | ||
| Exponential separations using guarded extension variables | ITCS 2023 | 2023-01-10 |
Proves exponential separations between redundancy-based CNF proof systems by embedding short extended‑resolution (ER) proofs into guarded formulas so only some… | ||
| nothing matches | ||