Publications | Lund University Publications

21 – 30 of 473

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=department+exact+V1001417&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
4
5
…
48
next »

2024
Mark KRW Composition Theorems via Lifting
Rezende, Susanna F.de ^LU ; Meir, Or ; Nordström, Jakob ^LU ; Pitassi, Toniann and Robere, Robert (2024) In Computational Complexity 33(1).
- Contribution to journal › Article
2023
Mark Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
Bogaerts, Bart ; Gocht, Stephan ^LU ; McCreesh, Ciaran and Nordström, Jakob ^LU (2023) In Journal of Artificial Intelligence Research 77. p.1539-1589
- Contribution to journal › Article
Mark Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
Gocht, Stephan ^LU ; Martins, Ruben ; Nordström, Jakob ^LU and Oertel, Andy ^LU (2023) 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023 p.6436-6441
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Boulasikis, Michail ^LU ; Gruian, Flavius ^LU ; Callanan, Gareth ^LU and Janneck, Jörn ^LU (2023) 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023 p.98-103
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certified Core-Guided MaxSAT Solving
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob ^LU ; Oertel, Andy ^LU and Vandesande, Dieter (2023) Proceedings of the 29th International Conference on Automated Deduction, CADE-29 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14132 LNAI. p.1-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
Conneryd, Jonas ^LU ; De Rezende, Susanna F. ^LU ; Nordstrom, Jakob ^LU ; Pang, Shuo and Risse, Kilian ^LU (2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.1-11
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Clique Is Hard on Average for Unary Sherali-Adams
De Rezende, Susanna F. ^LU ; Potechin, Aaron and Risse, Kilian ^LU (2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.12-25
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Graphs with many edge-colorings such that complete graphs are rainbow
Bastos, Josefran de O. ; Hoppen, Carlos ; Lefmann, Hanno ; Oertel, Andy ^LU and Schmidt, Dionatan R. (2023) In Discrete Applied Mathematics 333. p.151-164
- Contribution to journal › Article
Mark Scalable Actor Networks with CAL
Callanan, Gareth ^LU and Gruian, Flavius ^LU (2023) p.169-179
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
Berkholz, Christoph and Nordström, Jakob ^LU (2023) In Journal of the ACM 70(5).
- Contribution to journal › Article

« previous
1
2
3
4
5
…
48
next »

your query:: Remove department: Parallel Systems