22.11. 14:00 - Abschlussarbeitsvortrag: "Relation between treelike resolution space and practical hardness for SAT formulas"
Universität Ulm Universität Ulm![Logo](https://www.uni-ulm.de/_assets/a92153751098915699a1afa17e77f864/Images/logo-uni-ulm.jpg)
Relation between treelike resolution space and practical hardness for SAT formulas
Relation between treelike resolution space and practical hardness for SAT formulas