Date of Award | 2020 |
---|---|
Original language | Hebrew |
Awarding Institution |
|
Supervisor | Daniel Berend (Supervisor) & Aryeh Kontorovich (Supervisor) |
Probability-Based Characterization and Algorithms for the Maximum Satisfiability Problem
Student thesis: Doctoral Thesis