Navid Talebanfard

Available identifiers

zbMath Open talebanfard.navidMaRDI QIDQ894452

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6126311	2024-04-09	Paper
Cops-Robber Games and the Resolution of Tseitin Formulas	2022-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q5092450	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5028438	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5111416	2020-05-27	Paper
Exponential Lower Bounds for the PPSZ k-SAT Algorithm	2019-05-15	Paper
Cops-robber games and the resolution of Tseitin formulas	2018-08-10	Paper
Prediction from partial information and hindsight, an alternative proof	2018-05-25	Paper
Strong ETH and resolution via games and the multiplicity of strategies	2017-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5363779	2017-09-29	Paper
On the structure and the number of prime implicants of 2-\(\mathsf{CNF}\)s	2016-01-21	Paper
Improving resolution width lower bounds for \(k\)-CNFs with applications to the strong exponential time hypothesis	2015-12-01	Paper
Circuit Complexity of Properties of Graphs with Constant Planar Cutwidth	2014-10-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Navid Talebanfard