Benjamin Przybocki

According to our database, Benjamin Przybocki authored at least 8 papers between 2022 and 2025.

Collaborative distances:

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

2025

Shininess, strong politeness, and unicorns.

Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar

CoRR, July, 2025

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

Benjamin Przybocki, Clark W. Barrett

CoRR, January, 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