Publications | Lund University Publications

11 – 20 of 483

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
…
49
next »

2025
Mark Practically feasible proof logging for pseudo-Boolean optimization
Koops, Wietze ^LU ; Le Berre, Daniel ; Myreen, Magnus O. ; Nordström, Jakob ^LU ; Oertel, Andy ^LU ; Tan, Yong Kiam and Vinyals, Marc (2025) In Leibniz International Proceedings in Informatics (LIPIcs) 340. p.1-27
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certifying combinatorial optimization using pseudo-Boolean reasoning
Oertel, Andy ^LU (2025) In Licentiate thesis 6, 2025.
- Thesis › Licentiate thesis
Mark Towards an Understanding of Polynomial Calculus : New Separations and Lower Bounds
Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ^LU and Vinyals, Marc (2025) In Theory of Computing 21.
- Contribution to journal › Article
Mark Pseudo-Boolean Proof Logging for Optimal Classical Planning
Dold, Simon ; Helmert, Malte ; Nordström, Jakob ^LU ; Röger, Gabriele and Schindler, Tanja (2025) 35th International Conference on Automated Planning and Scheduling, ICAPS 2025 35. p.54-63
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Quantum Automating TC⁰-Frege Is LWE-Hard
Arteche, Noel ^LU ; Carenini, Gaia and Gray, Matthew (2025) In Computational Complexity 34(2).
- Contribution to journal › Article
Mark Tighter Value-Function Approximations for POMDPs
Krale, Merlijn ; Koops, Wietze ^LU ; Junges, Sebastian ; Simão, Thiago D. and Jansen, Nils (2025) 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS p.1200-1208
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2024
Mark Sparse Spatial Shading in Augmented Reality
Olajos, Rikard ^LU and Doggett, Michael ^LU (2024) 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications 1. p.293-299
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Succinct Opacity Micromaps
Waldemarson, Gustaf ^LU and Doggett, Michael ^LU (2024) High-Performance Graphics 2024 In Proceedings of the ACM in Computer Graphics and Interactive Techniques 7(3).
- Contribution to journal › Article
Mark Hardware and Software Generation from Large Actor Machines in Streaming Applications
Callanan, Gareth ^LU and Gruian, Flavius ^LU (2024) 39th ACM/SIGAPP Symposium on Applied Computing, SAC '24 p.142-150
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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

« previous
1
2
3
4
5
…
49
next »

your query:: Remove department: Parallel Systems