Leszek Aleksander Kolodziejczyk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAT | The Strength of the Dominance Rule. | Leszek Aleksander Kolodziejczyk, Neil Thapen |
| 2021 | CiE | In Search of the First-Order Part of Ramsey's Theorem for Pairs. | Leszek Aleksander Kolodziejczyk, Keita Yokoyama |
| 2019 | FOCS | Polynomial Calculus Space and Resolution Width. | Nicola Galesi, Leszek Aleksander Kolodziejczyk, Neil Thapen |
| 2017 | CiE | New Bounds on the Strength of Some Restrictions of Hindman's Theorem. | Lorenzo Carlucci, Leszek Aleksander Kolodziejczyk, Francesco Lepore, Konrad Zdanowski |
| 2016 | CSL | The Logical Strength of Bchi's Decidability Theorem. | Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Ccilia Pradic, Michal Skrzypczak |
| 2016 | LICS | How unprovable is Rabin's decidability theorem? | Leszek Aleksander Kolodziejczyk, Henryk Michalewski |
| 2011 | ICDT | Solutions in XML data exchange. | Mikolaj Bojanczyk, Leszek Aleksander Kolodziejczyk, Filip Murlak |
| 2007 | CiE | The Polynomial and Linear Hierarchies in V | Leszek Aleksander Kolodziejczyk, Neil Thapen |