Seminar
Speaker: | Ελευθέριος Κυρούσης (Καθηγητής, Τμήμα μαθηματικών ΕΚΠΑ, ΕΚΠΑ) |
---|---|
Title: | Dichotomy theorems on the satisfiability of propositional formulas |
Date: | Παρασκευή, 08 Δεκ 2000 |
Ώρα: | 18:00-19:00 |
mpla.math.uoa.gr |
|
Speaker: | Ελευθέριος Κυρούσης (Καθηγητής, Τμήμα μαθηματικών ΕΚΠΑ, ΕΚΠΑ) |
---|---|
Title: | Dichotomy theorems on the satisfiability of propositional formulas |
Date: | Παρασκευή, 08 Δεκ 2000 |
Ώρα: | 18:00-19:00 |
Comments