Leszek Aleksander Kołodziejczyk

FRAGMENTS OF APPROXIMATE COUNTING

Samuel R. Buss, Leszek Aleksander Kołodziejczyk, Neil Thapen · Journal of Symbolic Logic · 2014 · 50 citations

Natural Sciences, Computer Science, Mathematics +10

The provably total NP search problems of weak second order bounded arithmetic

Leszek Aleksander Kołodziejczyk, Phuong Nguyen, Neil Thapen · Annals of Pure and Applied Logic · 2011 · 48 citations

Computing, Computer Science, Mathematics +10

Collapsing modular counting in bounded arithmetic and constant depth propositional proofs

Samuel R. Buss, Leszek Aleksander Kołodziejczyk, Konrad Zdanowski · Transactions of the American Mathematical Society · 2015 · 46 citations · Full text

Computing, Computer Science, Mathematics +14

Small Stone in Pool

Samuel R. Buss, Leszek Aleksander Kołodziejczyk · Logical Methods in Computer Science · 2014 · 40 citations · Full text

Computing, Computer Science, Algorithms +13

Truth definitions in finite models

Leszek Aleksander Kołodziejczyk · Journal of Symbolic Logic · 2004 · 16 citations

Humanities, Computer Science, Mathematics +15