Elena Priss gives her talk of the bachelor thesis on Monday, 27th September at 10:00am in Skype.
The title of the bachelor thesis is:
"Inkrementelle SAT-Instanz Generierung für den Hochgeschwindigkeitstest mit PaderSAT".
The talk will bel held in german.
Everybody interested is invited to participate in the talk.