Advances to SAT-Based Multi-Objective Constraint Optimization

Advances to SAT-Based Multi-Objective Constraint Optimization
Jabs, Christoph
2026
PhD thesis, University of Helsinki, 2026

Links

    1. PDF
    2. Slides

  1. Abstract

    Bibtex

    @phdthesis{Jabs2026AdvancesSATBasedMultiObjective,
  author = {Jabs, Christoph},
  title = {Advances to SAT-Based Multi-Objective Constraint Optimization},
  school = {University of Helsinki},
  year = {2026},
  handle = {10138/636637},
  isbn = {78-952-84-3248-7},
  month = sep,
}