Neil Thapen
Neil Thapen
Researcher, Institute of Mathematics, Czech Academy of Sciences
Verified email at math.cas.cz - Homepage
TitleCited byYear
Space complexity in polynomial calculus
Y Filmus, M Lauria, J Nordstrom, N Ron-Zewi, N Thapen
SIAM Journal on Computing 44 (4), 1119-1153, 2015
502015
The provably total search problems of bounded arithmetic
A Skelley, N Thapen
Proceedings of the London Mathematical Society 103 (1), 106-138, 2011
37*2011
NP search problems in low fragments of bounded arithmetic
J KrajŪček, A Skelley, N Thapen
The Journal of Symbolic Logic 72 (02), 649-672, 2007
372007
The strength of replacement in weak arithmetic
S Cook, N Thapen
ACM Transactions on Computational Logic (TOCL) 7 (4), 749-764, 2006
372006
Total space in resolution
I Bonacina, N Galesi, N Thapen
SIAM Journal on Computing 45 (5), 1894-1909, 2016
302016
A model-theoretic characterization of the weak pigeonhole principle
N Thapen
Annals of Pure and Applied Logic 118 (1), 175-195, 2002
202002
A Tradeoff Between Length and Width in Resolution
N Thapen
Theory of Computing 12 (5), 1-14, 2016
192016
The space complexity of cutting planes refutations
N Galesi, P PudlŠk, N Thapen
Proceedings of the 30th Conference on Computational Complexity, 433-447, 2015
18*2015
The provably total NP search problems of weak second order bounded arithmetic
LA Kołodziejczyk, P Nguyen, N Thapen
Annals of Pure and Applied Logic 162 (6), 419-446, 2011
172011
Fragments of approximate counting
SR Buss, LA Kołodziejczyk, N Thapen
The Journal of Symbolic Logic 79 (2), 496-525, 2014
14*2014
Parity games and propositional proofs
A Beckmann, P PudlŠk, N Thapen
ACM Transactions on Computational Logic (TOCL) 15 (2), 17, 2014
142014
The complexity of proving that a graph is Ramsey
M Lauria, P PudlŠk, V RŲdl, N Thapen
Combinatorica 37 (2), 253-268, 2017
92017
Alternating minima and maxima, Nash equilibria and bounded arithmetic
P PudlŠk, N Thapen
Annals of Pure and Applied Logic 163 (5), 604-614, 2012
82012
Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem
N Thapen
Archive for Mathematical Logic 50 (7-8), 665-680, 2011
82011
The weak pigeonhole principle in models of bounded arithmetic
N Thapen
University of Oxford, 2002
82002
The Ordering Principle in a Fragment of Approximate Counting
A Atserias, N Thapen
ACM Transactions on Computational Logic (TOCL) 15 (4), 29, 2014
72014
Random resolution refutations
P PudlŠk, N Thapen
LIPIcs-Leibniz International Proceedings in Informatics 79, 2017
62017
Notes on switching lemmas
N Thapen
Unpublished manuscript, 2009
62009
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails
LA Kołodziejczyk, N Thapen
The Journal of Symbolic Logic 73 (2), 578-592, 2008
6*2008
Structures interpretable in models of bounded arithmetic
N Thapen
Annals of Pure and Applied Logic 136 (3), 247-266, 2005
62005
The system can't perform the operation now. Try again later.
Articles 1–20