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

15. November 2019

Universität Ulm 27. November 2019 Universität Ulm

Relation between treelike resolution space and practical hardness for SAT formulas