Travelled to:1 × Austria
1 × USA
Collaborated with:∅ S.S.Dantchev
Talks about:complex (2) nullstellensatz (1) relativis (1) polynomi (1) calculus (1) asymptot (1) proof (1) gap (1)
Person: Søren Riis
DBLP: Riis:S=oslash=ren
Contributed to:
2008
2003Wrote 2 papers:
- LICS-2008-Riis #calculus #complexity #on the #polynomial #proving
- On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity (SR), pp. 272–283.
- CSL-2003-DantchevR #complexity #on the
- On Relativisation and Complexity Gap (SSD, SR), pp. 142–154.