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