Benjamin Przybocki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | The Termination of Nielsen Transformations Applied to Word Equations with Length Constraints. | Benjamin Przybocki, Clark W. Barrett |
| 2026 | IJCAR | Bringing Closure to Theory Combination Properties. | Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar |
| 2026 | STOC | Optimal and Efficient Partite Decompositions of Hypergraphs. | Andrew Krapivin, Benjamin Przybocki, Nicols Sanhueza-Matamala, Bernardo Subercaseaux |
| 2026 | SAT | Near-Optimal Encodings of Cardinality Constraints. | Andrew Krapivin, Benjamin Przybocki, Bernardo Subercaseaux |
| 2026 | SAT | Automated Reencoding Meets Graph Theory. | Benjamin Przybocki, Bernardo Subercaseaux, Marijn J. H. Heule |
| 2025 | CADE | Being Polite Is Not Enough (and Other Limits of Theory Combination). | Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar |
| 2024 | FM | The Nonexistence of Unicorns and Many-Sorted Lwenheim-Skolem Theorems. | Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett |