Publications | Lund University Publications

21 – 28 of 28

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=issn+exact+%221868-8969%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
2
3
next »

2017
Mark Graph colouring is hard for algorithms based on hilbert's nullstellensatz and gröbner bases
Lauria, Massimo and Nordström, Jakob ^LU (2017) 32nd Computational Complexity Conference, CCC 2017 In Leibniz International Proceedings in Informatics, LIPIcs 79.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2016
Mark Completeness for coalgebraic fixpoint logic
Enqvist, Sebastian ^LU ; Seifan, Fatemeh and Venema, Yde (2016) 25th EACSL Annual Conference on Computer Science Logic, CSL 2016 and the 30th Workshop on Computer Science Logic In Leibniz International Proceedings in Informatics (LIPIcs) 62. p.1-7
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Supercritical space-width trade-offs for resolution
Berkholz, Christoph and Nordström, Jakob ^LU (2016) 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 In Leibniz International Proceedings in Informatics, LIPIcs 55.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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
Mikša, Mladen and Nordström, Jakob ^LU (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
Lauria, Massimo and Nordström, Jakob ^LU (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
Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ^LU and Vinyals, Marc (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
Björklund, Andreas ^LU ; Kaski, Petteri and Kowalik, Lukasz (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 »

your query:: Remove issn: 1868-8969