Jakob Nordström

Search results

• Invited talk in the Best Papers from Sister Conferences Track at IJCAI 2023

  Jakob Nordström (Presenter)

  2023 Aug 24

  Activity: Talk or presentation › Invited talk

• Tutorial "Combinatorial Solving with Provably Correct Results" at IJCAI 2023

  Jakob Nordström (Presenter)

  2023 Aug 20

  Activity: Talk or presentation › Presentation

• NordConsNet 2023

  Jakob Nordström (Chair)

  2023 Jun 8 → 2023 Jun 9

  Activity: Participating in or organising an event › Organisation of workshop/ seminar/ course

• 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 25

  Activity: Talk or presentation › Invited talk

• Extended reunion of the program "Satisfiability: Theory, Practice, and Beyond" at the Simons Institute for the Theory of Computing, UC Berkeley

  Jakob Nordström (Chair)

  2023 Mar 13 → 2023 May 12

  Activity: Participating in or organising an event › Organisation of workshop/ seminar/ course

• Lectures on pseudo-Boolean solving and optimization at the Indian SAT+SMT Winter School

  Jakob Nordström (Invited speaker)

  2022 Dec 15

  Activity: Talk or presentation › Invited talk

• Dagstuhl Seminar 22411Theory and Practice of SAT and Combinatorial Solving

  Jakob Nordström (Chair)

  2022 Oct 9 → 2022 Oct 14

  Activity: Participating in or organising an event › Organisation of workshop/ seminar/ course

• Tutorial "Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming" at CP 2022

  Jakob Nordström (Presenter)

  2022 Aug 2

  Activity: Talk or presentation › Invited talk