[Back]


Talks and Poster Presentations (without Proceedings-Entry):
S. Szeider:
"Capturing Structure in Instances of the Propositional Satisfiability Problem";
Talk: ÖMG-DMV-Congress 2017, Salzburg (invited); 2017-09-11 - 2017-09-15.

Created from the Publication Database of the Vienna University of Technology.