21 – 30 of 1748
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
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
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
Demirović, Emir ; McCreesh, Ciaran ; McIlree, Matthew J. ; Nordström, Jakob LU ; Oertel, Andy LU
and Sidorov, Konstantin
(2024)
30th International Conference on Principles and Practice of Constraint Programming, CP 2024
307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient and precise annotation of local structures in data
- Thesis › Licentiate thesis
-
Mark
Quantum Automating TC0-Frege Is LWE-Hard
(2024) 39th Computational Complexity Conference, CCC 2024 In Leibniz International Proceedings in Informatics, LIPIcs 300.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Enhancing DevOps with Autonomous Monitors: A Proactive Approach to Failure Detection
Hrusto, Adha LU
(2024)
- Thesis › Doctoral thesis (compilation)
-
Mark
From Proof Complexity to Circuit Complexity via Interactive Protocols
(2024) 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 In Leibniz International Proceedings in Informatics, LIPIcs 297.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
App
- Chapter in Book/Report/Conference proceeding › Entry for encyclopaedia/dictionary
-
Mark
FuseRank (Demo) : Filtered Vector Search in Multimodal Structured Data
Paraschakis, Dimitris LU ; Ros, Rasmus LU ; Borg, Markus LU and Runeson, Per LU
(2024)
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2024
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14948.
p.404-408
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding