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

by Καββαδίας, Δημήτρης
Published 1988

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

by Καββαδίας, Δημήτρης, Σταυρόπουλος, Ηλίας Χ.
Published 1998

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

by Καββαδίας, Δημήτρης, Σταυρόπουλος, Ηλίας Χ.
Published 2001

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

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

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

by Καββαδίας, Δημήτρης, Papadimitriou, Christos H., 1949-, Σιδέρη, Μάρθα
Published 1993

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

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

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

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

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

Published 1999

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

by Φωτιάδου, Βασιλική
Published 2002

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

Published 2003

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

Published 2024