21 – 25 of 25
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- « previous
- 1
- 2
- 3
- next »
- 2015
-
Mark
A Fire Fighter's Problem.
Klein, Rolf ; Langetepe, Elmar and Levcopoulos, Christos LU
(2015)
31st International Symposium on Computational Geometry (SoCG 2015)
34.
p.768-780
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A generalized method for proving polynomial calculus degree lower bounds
(2015) 30th Conference on Computational Complexity, CCC 2015 In Leibniz International Proceedings in Informatics, LIPIcs 33. p.467-487
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tight size-degree bounds for sums-of-squares proofs
(2015) 30th Conference on Computational Complexity, CCC 2015 In Leibniz International Proceedings in Informatics, LIPIcs 33. p.448-466
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
From small space to small width in resolution
(2014) 31st International Symposium on Theoretical Aspects of Computer Science, STACS 2014 In Leibniz International Proceedings in Informatics, LIPIcs 25. p.300-311
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
Probably Optimal Graph Motifs
(2013) 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), LIPIcs 20. p.20-31
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- « previous
- 1
- 2
- 3
- next »