Výsledky vyhledávání
- 1.0582265 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hubáček, Pavel - Khaniki, Erfan - Thapen, Neil
TFNP intersections through the lens of feasible disjunction.
15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Guruswami, V.), č. článku 63. Leibniz International Proceedings in Informatics (LIPIcs), 287. ISBN 978-3-95977-309-6.
[15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Berkeley (US), 30.01.2024-02.02.2024]
Grant CEP: GA ČR(CZ) GX19-27871X; GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: TFNP * feasible disjunction * proof complexity * TFNP intersection classes
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0350365Název souboru Staženo Velikost Komentář Verze Přístup Hubacek.pdf 0 785.4 KB Vydavatelský postprint povolen - 2.0546779 - MÚ 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Part, Fedor - Thapen, Neil - Tzameret, I.
First-order reasoning and efficient semi-algebraic proofs.
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway: IEEE, 2021 - (Gorla, D.), č. článku 9470546. ISBN 978-1-6654-4896-3.
[36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Rome (IT), 29.06.2021-02.07.2021]
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: approximation algorithms * calculations * formal logic * NP-hard
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1109/LICS52264.2021.9470546
Trvalý link: http://hdl.handle.net/11104/0323162 - 3.0518434 - MÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Galesi, N. - Kolodziejczyk, L. A. - Thapen, Neil
Polynomial calculus space and resolution width.
60th Annual Symposium on Foundations of Computer Science (FOCS). Piscataway: IEEE, 2019, s. 1325-1337. ISBN 978-1-7281-4952-3. ISSN 0272-5428.
[60th Annual Symposium on Foundations of Computer Science (FOCS). Baltimore (US), 09.11.2019-12.11.2019]
Grant CEP: GA ČR(CZ) GA19-05497S
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: polynomial calculus * proof complexity * resolution
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://dx.doi.org/10.1109/FOCS.2019.00081
Trvalý link: http://hdl.handle.net/11104/0303569Název souboru Staženo Velikost Komentář Verze Přístup Thapen1.pdf 7 253.9 KB Vydavatelský postprint vyžádat - 4.0507739 - MÚ 2020 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Buss, S. - Thapen, Neil
DRAT proofs, propagation redundancy, and extended resolution.
Theory and Applications of Satisfiability Testing – SAT 2019. Cham: Springer, 2019 - (Janota, M.; Lynce, I.), s. 71-89. Lecture Notes in Computer Science, 11628. ISBN 978-3-030-24257-2. ISSN 0302-9743.
[22nd International Conference on Theory and Applications of Satisfiability Testing (SAT 2019). Lisbon (PT), 09.07.2019-12.07.2019]
Grant CEP: GA ČR(CZ) GA19-05497S
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: lower bounds * proof complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007%2F978-3-030-24258-9_5
Trvalý link: http://hdl.handle.net/11104/0298715Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 0 358.2 KB Vydavatelský postprint vyžádat - 5.0477098 - MÚ 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Pudlák, Pavel - Thapen, Neil
Random resolution refutations.
32nd Computational Complexity Conference (CCC 2017). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 - (O’Donnell, R.), s. 1-10, č. článku 1. Leibniz International Proceedings in Informatics, 79. ISBN 978-3-95977-040-8. ISSN 1868-8969.
[32nd Computational Complexity Conference (CCC 2017). Riga (LT), 06.07.2017-09.07.2017]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * random * resolution * resolution
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/volltexte/2017/7523
Trvalý link: http://hdl.handle.net/11104/0273490Název souboru Staženo Velikost Komentář Verze Přístup Pudlak3.pdf 3 538.1 KB Vydavatelský postprint vyžádat - 6.0448832 - MÚ 2016 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Galesi, N. - Pudlák, Pavel - Thapen, Neil
The space complexity of cutting planes refutations.
30th Conference on Computational Complexity (CCC 2015). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2015 - (Zuckerman, D.), s. 433-447. Leibniz International Proceedings in Informatics, 33. ISBN 978-3-939897-81-1. ISSN 1868-8969.
[Conference on Computational Complexity (CCC) /30./. Portland (US), 17.06.2015-19.06.2015]
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 339691 - FEALORA
Program: FP7
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * space * cutting planes
Kód oboru RIV: BA - Obecná matematika
http://drops.dagstuhl.de/opus/volltexte/2015/5055/
Trvalý link: http://hdl.handle.net/11104/0250451Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 3 476.6 KB Vydavatelský postprint vyžádat - 7.0438303 - MÚ 2015 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Bonacina, I. - Galesi, N. - Thapen, Neil
Total space in resolution.
Annual IEEE Symposium on Foundations of Computer Science (FOCS 2014). Piscataway: IEEE, 2014 - (Barak, B.), s. 641-650. ISBN 978-1-4799-6517-5.
[55th Annual Symposium on Foundations of Computer Science (FOCS) (2014). Philadelphia (US), 18.10.2014-21.10.2014]
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: bipartite graph * polynomials * semantics
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6979049
Trvalý link: http://hdl.handle.net/11104/0241733Název souboru Staženo Velikost Komentář Verze Přístup Thapen2.pdf 3 321.8 KB Vydavatelský postprint vyžádat - 8.0422131 - MÚ 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Beckmann, A. - Pudlák, Pavel - Thapen, Neil
Parity games and propositional proofs.
Mathematical Foundations of Computer Science 2013. Berlin: Springer, 2013 - (Chatterjee, K.; Sgall, J.), s. 111-122. Lecture Notes in Computer Science, 8087. ISBN 978-3-642-40312-5.
[International Symposium on Mathematical Foundations of Computer Science 2013 /38./. Klosterneuburg (AT), 26.08.2013-30.08.2013]
Grant CEP: GA AV ČR IAA100190902
Institucionální podpora: RVO:67985840
Klíčová slova: resolution proof systems * parity games * game equivalent to resolution
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007%2F978-3-642-40313-2_12
Trvalý link: http://hdl.handle.net/11104/0228345Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 214.5 KB Vydavatelský postprint vyžádat - 9.0395529 - MÚ 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Lauria, Massimo - Pudlák, Pavel - Thapen, Neil - Rödl, V.
The complexity of proving that a graph is Ramsey.
Automata, Languages, and Programming. Part I. Berlin: Springer, 2013 - (Fomin, F.; Freivalds, R.; Kwiatkowska, M.; Peleg, D.), s. 684-695. Lecture Notes in Computer Science, 7965. ISBN 978-3-642-39205-4.
[International Colloquium, ICALP 2013 /40./. Riga (LT), 08.07.2013-12.07.2013]
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: CNF formulas * independent set * lower bounds
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007%2F978-3-642-39206-1_58
Trvalý link: http://hdl.handle.net/11104/0223541Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 5 224.2 KB Vydavatelský postprint vyžádat - 10.0385834 - MÚ 2013 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Kjos-Hanssen, B. - Taveneaux, A. - Thapen, Neil
How much randomness is needed for statistics?
How the World Computes. Berlin: Springer, 2012 - (Cooper, S.; Dawar, A.; Löwe, B.), s. 395-404. Lecture Notes in Computer Science, 7318. ISBN 978-3-642-30869-7. ISSN 0302-9743.
[CiE 2012. Turing Centerary Conference and Conference on Computability in Europe /8./. Cambridge (GB), 18.06.2012-23.06.2012]
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: algorithm analysis and problem complexity * computing * symbolic and algebraic manipulation
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007/978-3-642-30870-3_40
Trvalý link: http://hdl.handle.net/11104/0007491Název souboru Staženo Velikost Komentář Verze Přístup Thapen1.pdf 0 195.9 KB Autorský postprint vyžádat