( en | de | ru )

 

Disambiguation of "Talebanfard, Navid"

Author of the publication

copydeleteadd this publication to your clipboard
Cops-Robber games and the resolution of Tseitin formulas.

, , and . Electron. Colloquium Comput. Complex., (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Navid Ramezanian

Stäbchenförmigen Stäbchenförmige Moleküle mit Nitroxyl-Radikalen für die Untersuchung der molekularen Flexibilität. Uni Bielefeld, (2007)

Amir-Ali Navidy

Mojdeh Heidary Navid

Navid Khorshidi

Navid Haghdadi

 

Other publications of authors with the same name

Circuit Complexity of Properties of Graphs with Constant Planar Cutwidth., , , , and . MFCS (2), volume 8635 of Lecture Notes in Computer Science, page 336-347. Springer, (2014)Prediction from Partial Information and Hindsight, an Alternative Proof., and . Electron. Colloquium Comput. Complex., (2017)A Variant of the VC-Dimension with Applications to Depth-3 Circuits., , and . ITCS, volume 215 of LIPIcs, page 72:1-72:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Strong ETH and Resolution via Games and the Multiplicity of Strategies., and . IPEC, volume 43 of LIPIcs, page 248-257. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)On the structure and the number of prime implicants of 2-s.. Discret. Appl. Math., (2016)A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm., , and . Log. Methods Comput. Sci., (2021)On the Extension Complexity of Polytopes Separating Subsets of the Boolean Cube., and . Discret. Comput. Geom., 70 (1): 268-278 (July 2023)On the Structure and the Number of Prime Implicants of k-CNF Formulas.. CoRR, (2014)Strong ETH and Resolution via Games and the Multiplicity of Strategies., and . Algorithmica, 79 (1): 29-41 (2017)A Variant of the VC-dimension with Applications to Depth-3 Circuits., , and . CoRR, (2021)