Benjamin Przybocki
Identifiers
- name variant Benjamin Przybocki 0.60 · backfill
Papers (4)
- Bringing closure to theory combination properties cs.LO · 2026 · author #2
- Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery math.CO · 2026 · author #1
- Near-Optimal Encodings of Cardinality Constraints cs.CC · 2026 · author #2
- Automated Reencoding Meets Graph Theory cs.CC · 2026 · author #1
Mentions
- 2605.30762 #2 · arxiv_oai · confidence 0.70 Benjamin Przybocki
Frequent Coauthors
- Bernardo Subercaseaux 3 shared papers
- Marijn J. H. Heule 2 shared papers
- Andrew Krapivin 1 shared papers
- Guilherme V. Toledo 1 shared papers
- John Mackey 1 shared papers
- Yoni Zohar 1 shared papers