22.11. 14:00 - Abschlussarbeitsvortrag: "Relation between treelike resolution space and practical hardness for SAT formulas"
Universität Ulm Universität UlmRelation between treelike resolution space and practical hardness for SAT formulas
Relation between treelike resolution space and practical hardness for SAT formulas