BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
2 × USA
Collaborated with:
F.D.Valencia S.Riis
Talks about:
complex (2) gap (2) schrijver (1) satisfact (1) relativis (1) sherali (1) infinit (1) system (1) lovász (1) comput (1)

Person: Stefan S. Dantchev

DBLP DBLP: Dantchev:Stefan_S=

Contributed to:

STOC 20072007
SAC 20052005
CSL 20032003

Wrote 3 papers:

STOC-2007-Dantchev #complexity #proving #rank
Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems (SSD), pp. 311–317.
SAC-2005-DantchevV #infinity #on the
On the computational limits of infinite satisfaction (SSD, FDV), pp. 393–397.
CSL-2003-DantchevR #complexity #on the
On Relativisation and Complexity Gap (SSD, SR), pp. 142–154.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.