Benjamin Przybocki

17 papers A 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Accelerating Scientific Research with Gemini: Case Studies and Common Techniques.
CoRR
David P. Woodruff, Vincent Cohen-Addad, Lalit Jain, Jieming Mao, Song Zuo, MohammadHossein Bateni, Simina Brânzei, Michael P. Brenner, Lin Chen, Ying Feng, Lance Fortnow, Gang Fu, Ziyi Guan, Zahra Hadizadeh, Mohammad T. Hajiaghayi, Mahdi JafariRaviz, Adel Javanmard, Karthik C. S., Ken-ichi Kawarabayashi, Ravi Kumar, Silvio Lattanzi, Euiwoong Lee, Yi Li, Ioannis Panageas, Dimitris Paparas, Benjamin Przybocki, Bernardo Subercaseaux, Ola Svensson, Shayan Taherijam, Xuan Wu, Eylon Yogev, Morteza Zadimoghaddam, Samson Zhou, Yossi Matias, James Manyika, Vahab Mirrokni
2026 J jnl
Automated Reencoding Meets Graph Theory.
CoRR
Benjamin Przybocki, Bernardo Subercaseaux, Marijn J. H. Heule
2026 J jnl
Characterizing Sets of Theories That Can Be Disjointly Combined.
Proc. ACM Program. Lang.
Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar
2026 J jnl
Near-Optimal Encodings of Cardinality Constraints.
CoRR
Andrew Krapivin, Benjamin Przybocki, Bernardo Subercaseaux
2025 A conf
Being Polite Is Not Enough (and Other Limits of Theory Combination).
CADE
Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar
2025 J jnl
Being polite is not enough (and other limits of theory combination).
CoRR
Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar
2025 J jnl
Characterizing Sets of Theories That Can Be Disjointly Combined.
CoRR
Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar
2025 J jnl
Optimal and Efficient Partite Decompositions of Hypergraphs.
CoRR
Andrew Krapivin, Benjamin Przybocki, Nicolás Sanhueza-Matamala, Bernardo Subercaseaux
2025 — conf
Shininess, Strong Politeness, and Unicorns.
FroCoS
Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar
2025 J jnl
Shininess, strong politeness, and unicorns.
CoRR
Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar
2025 J jnl
The termination of Nielsen transformations applied to word equations with length constraints.
CoRR
Benjamin Przybocki, Clark W. Barrett
2024 J jnl
Bender-Knuth involutions on linear extensions of posets.
Discret. Math.
Judy Hsin-Hui Chiang, Anh Trong Nam Hoang, Matthew Kendall, Ryan Lynch, Son Nguyen, Benjamin Przybocki, Janabel Xia
2024 — conf
The Nonexistence of Unicorns and Many-Sorted Löwenheim-Skolem Theorems.
FM (1)
Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
2024 J jnl
The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems.
CoRR
Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
2023 J jnl
The Maximum Hook Length of $d$-Distinct Simultaneous Core Partitions.
Electron. J. Comb.
Ethan Pesikoff, Benjamin Przybocki, Janabel Xia
2022 J jnl
Hat Guessing on Books and Windmills.
Electron. J. Comb.
Xiaoyu He, Yuzu Ido, Benjamin Przybocki
2022 J jnl
Lengths of Irreducible and Delicate Words.
Electron. J. Comb.
Benjamin Przybocki