Parallel Systems

11 – 20 of 481

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/organization/v1001417?embed=1&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 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
2024
Mark Packet-Type Aware Scheduling of Moldable Streaming Tasks on Multicore Systems with DVFS
Boulasikis, Michail ^LU ; Kessler, Christoph ; Gruian, Flavius ^LU ; Keller, Jorg W. and Litzinger, Sebastian (2024) 39th Annual ACM Symposium on Applied Computing, SAC 2024 p.449-451
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Towards the exact complexity of realizability for Safety LTL
Arteche, Noel ^LU and Hermo, Montserrat (2024) In Journal of Logical and Algebraic Methods in Programming 141.
- Contribution to journal › Article
Mark Proof Logging for the Circuit Constraint
McIlree, Matthew J. ; McCreesh, Ciaran and Nordström, Jakob ^LU (2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
Hoen, Alexander ; Oertel, Andy ^LU ; Gleixner, Ambros and Nordström, Jakob ^LU (2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certified MaxSAT Preprocessing
Ihalainen, Hannes ; Oertel, Andy ^LU ; Tan, Yong Kiam ; Berg, Jeremias ; Järvisalo, Matti ; Myreen, Magnus O. and Nordström, Jakob ^LU (2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob ^LU ; Oertel, Andy ^LU ; Paxian, Tobias and Vandesande, Dieter (2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
3
4
5
…
49
next »