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