Activities per year
- 4 results
Search results
-
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
-
Invited presentation "Leveraging Computational Complexity Theory for Provably Correct Combinatorial Optimization" at the North American Annual Meeting of the Association for Symbolic Logic
Jakob Nordström (Presenter)
2023 Mar 25Activity: Talk or presentation › Invited talk
-
Lectures on pseudo-Boolean solving and optimization at the Indian SAT+SMT Winter School
Jakob Nordström (Invited speaker)
2022 Dec 15Activity: Talk or presentation › Invited talk
-
Tutorial "Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming" at CP 2022
Jakob Nordström (Presenter)
2022 Aug 2Activity: Talk or presentation › Invited talk