Πολυπλοκοτητα και ευρετικες μεθοδοι για την πιθανοτικη λογικη [Διδακτορικη Διατριβη]

ανά Καββαδίας, Δημήτρης
Έκδοση 1988

On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4

ανά Καββαδίας, Δημήτρης, Σταυρόπουλος, Ηλίας Χ.
Έκδοση 1998

The nondeterministic complexity of the fredman and khachiyan algorithm for the dualization of monotone DNFs CTI Technical Report 2001/12/03

ανά Καββαδίας, Δημήτρης, Σταυρόπουλος, Ηλίας Χ.
Έκδοση 2001

On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17

ανά Καββαδίας, Δημήτρης, Σιδέρη, Μάρθα, Σταυρόπουλος, Ηλίας Χ.
Έκδοση 1998

On horn envelopes and hypergraph transversals (Extended Abstract for ISAAC) C.T.I. Technical Report TR 93.10.38

ανά Καββαδίας, Δημήτρης, Papadimitriou, Christos H., 1949-, Σιδέρη, Μάρθα
Έκδοση 1993

Parallel Graph Decomposition Techniques with Applications to Shortest Paths Problems C.T.I. Technical Report TR 93.02.8

ανά Ζαρολιάγκης, Χρήστος, Καββαδίας, Δημήτρης, Πάντζιου, Γραμματή, Σπυράκης, Παύλος Γ.
Έκδοση 1993

Hammock-on-Ears Decomposition: A Technique for Parallel and On-line Path Problems C.T.I. Technical Report TR 93.05.22

ανά Ζαρολιάγκης, Χρήστος, Καββαδίας, Δημήτρης, Πάντζιου, Γραμματή, Σπυράκης, Παύλος Γ.
Έκδοση 1993

A new algorith for the transversal hypergraph problem. CTI TR 99/03/03

Έκδοση 1999

Νέοι αλγόριθμοι και στρατηγικές αναζήτησης στον παγκόσμιο ιστό Πανεπιστήμιο Πατρών Τμήμα Μαθηματικών Μεταπτυχιακό Πρόγραμμα "Μαθηματικά των Υπολογιστών και των Αποφάσεων"...

ανά Φωτιάδου, Βασιλική
Έκδοση 2002

Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02

Έκδοση 2003

Διακριτά μαθηματικά με εφαρμογές /

Έκδοση 2024