黑料传送门

Institut f眉r Theoretische Informatik

痴辞谤迟谤盲驳别

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

Universit盲t Ulm

Relation between treelike resolution space and practical hardness for SAT formulas