Aarhus Universitets segl

Fixing Variables in Random Satisfiability Problems

Tobias Lindhardt Overgaard
Fredag 25. april 2025 09:00–11:00 Aud. D2 (1531-119)
Ph.d. – del A eksamen
  • 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

Kontakt: Randi Mosegaard Revideret: 07.04.2025