Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
  
 

Generating Realistic SAT Instances

MSc Seminar - Summer 2020