Benjamin Przybocki

According to our database, Benjamin Przybocki authored at least 14 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2026

Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery.

Benjamin Przybocki, John Mackey, Marijn J. H. Heule, Bernardo Subercaseaux

CoRR, April, 2026

Near-Optimal Encodings of Cardinality Constraints.

Andrew Krapivin, Benjamin Przybocki, Bernardo Subercaseaux

CoRR, March, 2026

Automated Reencoding Meets Graph Theory.

Benjamin Przybocki, Bernardo Subercaseaux, Marijn J. H. Heule

CoRR, March, 2026

Accelerating Scientific Research with Gemini: Case Studies and Common Techniques.

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

CoRR, February, 2026

Characterizing Sets of Theories That Can Be Disjointly Combined.

Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar

Proc. ACM Program. Lang., 2026

2025

Optimal and Efficient Partite Decompositions of Hypergraphs.

Andrew Krapivin, Benjamin Przybocki, Nicolás Sanhueza-Matamala, Bernardo Subercaseaux

CoRR, November, 2025

The termination of Nielsen transformations applied to word equations with length constraints.

Benjamin Przybocki, Clark W. Barrett

CoRR, January, 2025

Shininess, Strong Politeness, and Unicorns.

Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar

Proceedings of the Frontiers of Combining Systems - 15th International Symposium, 2025

Being Polite Is Not Enough (and Other Limits of Theory Combination).

Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Bender-Knuth involutions on linear extensions of posets.

Judy Hsin-Hui Chiang, Anh Trong Nam Hoang, Matthew Kendall, Ryan Lynch, Son Nguyen, Benjamin Przybocki, Janabel Xia

Discret. Math., 2024

The Nonexistence of Unicorns and Many-Sorted Löwenheim-Skolem Theorems.

Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

The Maximum Hook Length of $d$-Distinct Simultaneous Core Partitions.

Ethan Pesikoff, Benjamin Przybocki, Janabel Xia

Electron. J. Comb., 2023

2022

Lengths of Irreducible and Delicate Words.

Benjamin Przybocki

Electron. J. Comb., 2022

Hat Guessing on Books and Windmills.

Xiaoyu He, Yuzu Ido, Benjamin Przybocki

Electron. J. Comb., 2022