Segui
Navid Talebanfard
Navid Talebanfard
Email verificata su sheffield.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
Cops-robber games and the resolution of tseitin formulas
N Galesi, N Talebanfard, J Torán
ACM Transactions on Computation Theory (TOCT) 12 (2), 1-22, 2020
172020
Tighter hard instances for PPSZ
P Pudlák, D Scheder, N Talebanfard
arXiv preprint arXiv:1611.01291, 2016
122016
Exponential Lower Bounds for the PPSZ k-SAT Algorithm
S Chen, DA Scheder, N Talebanfard, B Tang
ACM-SIAM symposium on Disrete Algorithms, 1253-1263, 2013
122013
Prediction from partial information and hindsight, an alternative proof
AV Smal, N Talebanfard
Information Processing Letters 136, 102-104, 2018
102018
Super strong ETH is true for PPSZ with small resolution width
D Scheder, N Talebanfard
35th Computational Complexity Conference (CCC 2020) 169, 3, 2020
72020
A variant of the VC-dimension with applications to depth-3 circuits
P Frankl, S Gryaznov, N Talebanfard
arXiv preprint arXiv:2111.09671, 2021
62021
Strong ETH and Resolution via Games and the Multiplicity of Strategies
I Bonacina, N Talebanfard
Algorithmica 79 (1), 29-41, 2017
62017
On the structure and the number of prime implicants of 2-CNFs
N Talebanfard
Discrete Applied Mathematics 200, 1-4, 2016
52016
Improving resolution width lower bounds for k-CNFs with applications to the Strong Exponential Time Hypothesis
I Bonacina, N Talebanfard
Information Processing Letters 116 (2), 120-124, 2016
52016
Linear branching programs and directional affine extractors
S Gryaznov, P Pudlák, N Talebanfard
arXiv preprint arXiv:2201.10997, 2022
42022
Circuit complexity of properties of graphs with constant planar cutwidth
KA Hansen, B Komarath, J Sarma, S Skyum, N Talebanfard
Mathematical Foundations of Computer Science 2014: 39th International …, 2014
42014
On the extension complexity of polytopes separating subsets of the Boolean cube
P Hrubeš, N Talebanfard
Discrete & Computational Geometry 70 (1), 268-278, 2023
22023
A separator theorem for hypergraphs and a CSP-SAT algorithm
M Koucký, V Rödl, N Talebanfard
Logical Methods in Computer Science 17, 2021
22021
Bounded Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions
S Gryaznov, N Talebanfard
arXiv preprint arXiv:2403.02275, 2024
2024
Circuit Complexity Bounds using Monoid Structure for Graph Problems
KA Hansen, B Komarath, J Sarma, S Skyum, N Talebanfard
2014
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–15