Concepedia

Stefan Dantchev

SD

Statistics

Publications

7

Citations

139

H-Index

7

Active since

2001

Affiliations

Durham University(Current)

Aarhus University

Queen Mary University of London

Stefan Dantchev is an author at Durham University specializing in computing, computer science, and mathematics.

ORCID

Publications per year

2001–2012

7

Publications

7

Parameterized Proof Complexity

Stefan Dantchev, Barnaby Martin, Stefan Szeider · 2007 · 22 citations · Full text

, , +17

Tree resolution proofs of the weak pigeon-hole principle

Stefan Dantchev, Søren Riis · 2002 · 22 citations · Full text

, , +13

Efficient construction of the Čech complex

Stefan Dantchev, Ioannis Ivrissimtzis · Computers & Graphics · 2012 · 21 citations · Full text

, , +3

"Planar" tautologies hard for resolution

Stefan Dantchev, Søren Riis · 2001 · 21 citations · Full text

, , +13

Tight rank lower bounds for the Sherali–Adams proof system

Stefan Dantchev, Barnaby Martin, Mark Rhodes · Theoretical Computer Science · 2009 · 20 citations · Full text

, , +3

1–5 of 7