Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Per Andersson
- Department of Computer Science - Director of studies, Director of first and second cycle studies
- ELLIIT: the Linköping-Lund initiative on IT and mobile communication - Senior lecturer
- Parallel Systems - Senior lecturer
Person
Research output
-
Graphs with many edge-colorings such that complete graphs are rainbow
Bastos, J. D. O., Hoppen, C., Lefmann, H., Oertel, A. & Schmidt, D. R., 2023, In: Discrete Applied Mathematics. 333, p. 151-164 14 p.Research output: Contribution to journal › Article › peer-review
-
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
Kaufmann, D., Beame, P., Biere, A. & Nordstrom, J., 2022, Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Bolchini, C., Verbauwhede, I. & Vatajelu, I. (eds.). IEEE - Institute of Electrical and Electronics Engineers Inc., p. 1431-1436 6 p. (Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
-
Analysing Dataflow Programs with Causation Traces
Boulasikis, M., Gruian, F., Callanan, G. & Janneck, J. W., 2022 Oct, Proceedings of the 2022 International Conference on Parallel Architectures and Compilation Techniques. IEEE - Institute of Electrical and Electronics Engineers Inc., p. 534-535 2 p.Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access
-
Certified Linear Pseudo-Boolean Optimization
Oertel, A., Nordström, J. & de Rezende, S.
2021/11/16 → …
Project: Dissertation
-
-
Post-hoc Interventions, Theme - Pufendorf IAS
Jönsson, M., Bergman, J., Gunnemyr, M., Husfeldt, T., Nilsson, A. & Tellhed, U.
2022/02/01 → 2022/10/31
Project: Network
Activities
-
Invited talk in the Best Papers from Sister Conferences Track at IJCAI 2023
Jakob Nordström (Presenter)
2023 Aug 24Activity: Talk or presentation › Invited talk
-
Tutorial "Combinatorial Solving with Provably Correct Results" at IJCAI 2023
Jakob Nordström (Presenter)
2023 Aug 20Activity: Talk or presentation › Presentation
-
NordConsNet 2023
Jakob Nordström (Chair)
2023 Jun 8 → 2023 Jun 9Activity: Participating in or organising an event › Organisation of workshop/ seminar/ course
Prizes and distinction
-
Best paper award at the 25th International Conference on Theory and Applications of Satisfiability Testing
Gocht, Stephan (Recipient), Martins, Ruben (Recipient), Nordström, Jakob (Recipient) & Oertel, Andy (Recipient), 2022
Prize: Prize (including medals and awards)
-
Distinguished paper award at the 36th AAAI Conference on Artificial Intelligence
Nordström, Jakob (Recipient), Gocht, Stephan (Recipient), Bogaerts, Bart (Recipient) & McCreesh, Ciaran (Recipient), 2022
Prize: Prize (including medals and awards)
-
Member of the Young Academy of Sweden
Nordström, Jakob (Recipient), 2018
Prize: Election to learned society