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: Dantchev:Stefan_S=
Contributed to:
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.