Benjamin Przybocki

Identifiers

• name variant Benjamin Przybocki 0.60 · backfill

Papers (4)

1. Bringing closure to theory combination properties cs.LO · 2026 · author #2
2. Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery math.CO · 2026 · author #1
3. Near-Optimal Encodings of Cardinality Constraints cs.CC · 2026 · author #2
4. 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