FM Christoph Jabs försvarar sin doktorsavhandling “Advances to SAT-Based Multi-Objective Constraint Optimization” fredagen den 11.9.2026 kl. 13 i Helsingfors universitets Chemicum-byggnad, auditorium A110 (A. I. Virtanens plats 1, 1 vån.). Hans opponent är professor Daniel Le Berre (Université d'Artois, Frankrike) och kustos professor Matti Järvisalo (Helsingfors universitet). Disputationen hålls på engelska.
Christoph Jabs doktorsavhandling är en del av forskning på avdelningen för datavetenskap och i forskningsgruppen Constraint Reasoning and Optimization id Helsingfors universitet. Hans handledare har varit professor Matti Järvisalo och akademiforskare Jeremias Berg (Helsingfors universitet).
Framsteg till SAT-baserad multiobjektiv begränsningsoptimering
Avhandlingen har ingen svensk sammanfattning. Mera information om avhandlingens innehåll finns i
Tillgänglighet av avhandling
Avhandlingens elektronisk version är tillgänglig i Helsingfors universitets öppna publikationsarkiv Helda via länken
Tryckta exemplar av avhandlingen finns tillgängliga på begäran från Christoph Jabs: