Aarhus Universitets segl

Fixing Variables in Random Satisfiability Problems

by Mette Marie Skjøtt Rasmussen
PhD Dissertations November 2025

see dissertation

Format available: PDF (3 MB)
Dissertation supervisors: Andreas Basse-O'Connor (main) and Søren Fuglede Jørgensen (co)