Forskningsoutput per år
Forskningsoutput per år
FN:s Globala mål
År 2015 godkände FN:s medlemsstater 17 Globala mål för en hållbar utveckling, utrota fattigdomen, skydda planeten och garantera välstånd för alla. Vårt arbete relaterar till följande Globala mål:
Samarbeten under de senaste fem åren
Externa samarbeten med länder/områden de senaste 5 åren
Profiler
-
Per Andersson
- Institutionen för datavetenskap - Studierektor, Studierektor för grundutbildningen
- ELLIIT: the Linköping-Lund initiative on IT and mobile communication - Universitetslektor
- Parallella System - Universitetslektor
Person
-
Noel Arteche
- Parallella System - Doktorand
- ELLIIT: the Linköping-Lund initiative on IT and mobile communication - Doktorand
Person
Forskningsoutput
-
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds
Mikša, M. & Nordström, J., 2024 nov., I: Journal of the ACM. 71, 6, 37.Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift › Peer review
Öppen tillgång -
Towards the exact complexity of realizability for Safety LTL
Arteche, N. & Hermo, M., 2024 okt., I: Journal of Logical and Algebraic Methods in Programming. 141, 101002.Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift › Peer review
-
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, J., Bogaerts, B., Nordström, J., Oertel, A., Paxian, T. & Vandesande, D., 2024 aug. 29, 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Shaw, P. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 307. 28 s. 4. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 307).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review
Öppen tillgång
-
Banbrytande kombinatorisk optimering med bevisbar korrekthet
Nordström, J. (PI)
2025/01/01 → 2029/12/31
Projekt: Forskning
-
Improving Artificial Neural Network Efficiency using Analytical GPU Models
Ivanov, A. (Forskare) & Doggett, M. (Handledare)
2024/12/01 → …
Projekt: Avhandling
-
Certified Linear Pseudo-Boolean Optimization
Oertel, A. (Forskare), Nordström, J. (Handledare) & de Rezende, S. (Biträdande handledare)
2021/11/16 → …
Projekt: Avhandling
Aktiviteter
-
Handling Custom Data in glTF Files with Exporter/Importer Plugins
Waldemarson, G. (presentatör)
2023 okt. 27Aktivitet: Föredrag eller presentation › Presentation
Fil -
Invited talk in the Best Papers from Sister Conferences Track at IJCAI 2023
Nordström, J. (presentatör)
2023 aug. 24Aktivitet: Föredrag eller presentation › Inbjuden talare
-
Tutorial "Combinatorial Solving with Provably Correct Results" at IJCAI 2023
Nordström, J. (presentatör)
2023 aug. 20Aktivitet: Föredrag eller presentation › Presentation
Priser och utmärkelser
-
WASP Poster Award 2025
Oertel, A. (Mottagare), 2025 jan. 16
Pris: Pris (inklusive medaljer och utmärkelser)
-
Best paper award at the 25th International Conference on Theory and Applications of Satisfiability Testing
Gocht, S. (Mottagare), Martins, R. (Mottagare), Nordström, J. (Mottagare) & Oertel, A. (Mottagare), 2022
Pris: Pris (inklusive medaljer och utmärkelser)
-
Distinguished paper award at the 36th AAAI Conference on Artificial Intelligence
Nordström, J. (Mottagare), Gocht, S. (Mottagare), Bogaerts, B. (Mottagare) & McCreesh, C. (Mottagare), 2022
Pris: Pris (inklusive medaljer och utmärkelser)