Department of Mathematics

Aarhus University Seal

Fixing Variables in Random Satisfiability Problems

Tobias Lindhardt Overgaard
Friday 25 April 2025 09:00 – 11:00 Aud. D2 (1531-119)
PhD, part A exam

  • External examiner:
    Professor Jacob von Bornemann Hjelmborg, Department of Public Health, University og Southern Denmark

  • Internal examiner:
    Professor Peter Jørgensen, Department of Mathematics, Aarhus University

  • Examiner / Main supervisor:
    Professor Andreas Basse-O'Connor, Department of Mathematics, Aarhus University

Contact: Randi Mosegaard Revised: 07.04.2025
Revised 08.03.2023
-
Lars Madsen