Why Mick Doesn't Get Any: Thresholds for (Un)Satisfiability C.T.I. Technical Report TR 93.12.42

Why Mick Doesn't Get Any: Thresholds for (Un)Satisfiability C.T.I. Technical Report TR 93.12.42

Bibliographic Details
Main Authors:	Kamath, Anil (Author), Motwani, Rajeev (Author), Palem, Krishna (Author)
Format:	Book
Language:	English
Published:	Patras Greece Πάτρα Ελλάδα Computer Technology Institute Ινστιτούτο Τεχνολογίας Υπολογιστών 1993
Subjects:	CTI TR 1993 TECHNICAL REPORT ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ

Similar Items

Educational Research: Why ‘What Works’ Doesn't Work
Published: (2006)

Short Vertex Disjoint Paths and Multiconnectivity in Random Graphs: Reliable Network Computing. C.T.I. [Technical Report] TR. 93.11.41
by: Palem, K., et al.
Published: (1993)

Educational Research: Why βWhat Worksβ Doesn't Work
by: Smeyers, Paul
Published: (2007)

Requirements for Distributed Hypermedia C.T.I. Technical Report TR 93.01.4
by: Γαβιώτης, Ιωάννης, et al.
Published: (1993)

Right Triangle Enclosures C.T.I. Technical Report TR 93.04.15
by: Σοφοτάσιος, Δημήτριος Π., et al.
Published: (1993)

The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
by: Θηλυκός, Δημήτρης, et al.
Published: (1993)

Λογική σχεδίαση γεωγραφικών εφαρμογών Ι.Τ.Υ. Τεχνική Αναφορά TR 93.01.1
by: Τρύφωνα, Νεκταρία, et al.
Published: (1993)

Εννοιολογική σχεδίαση γεωγραφικών εφαρμογών Ι.Τ.Υ. Τεχνική Αναφορά TR 93.06.24
by: Τρύφωνα, Νεκταρία, et al.
Published: (1993)

Modeling and design of a Virtual Authoring Environment C.T.I. Technical Report TR 93.04.17
by: Καμέας, Αχιλλέας, et al.
Published: (1993)

Σύστημα διαχείρησης δικτύου τηλεφωνικού κέντρου Ι.Τ.Υ. Τεχνική Αναφορά TR 93.06.23
by: Τσιρώνης, Γιώργος, 1960-2021
Published: (1993)

User interface environment for automatic keyword extraction C.T.I. Technical Report TR 93.10.39
by: Γαβιώτης, Ιωάννης
Published: (1993)

Arithmetic operations on the 3-LAP massively parallel processor C.T.I. Technical Report TR 93.02.06
by: Ανδρούτσου, Παναγιώτα, et al.
Published: (1993)

Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
by: Γαροφαλάκης, Μίνως
Published: (1993)

An Image Encryption Method Using a Class of Fractals C.T.I. Technical Report TR 93.07.28
by: Αλεξόπουλος, Κοσμάς, et al.
Published: (1993)

On horn envelopes and hypergraph transversals (Extended Abstract for ISAAC) C.T.I. Technical Report TR 93.10.38
by: Καββαδίας, Δημήτρης, et al.
Published: (1993)

Parallel Graph Decomposition Techniques with Applications to Shortest Paths Problems C.T.I. Technical Report TR 93.02.8
by: Ζαρολιάγκης, Χρήστος, et al.
Published: (1993)

Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization C.T.I. Technical Report TR 93.03.10
by: Rajsbaum, S., et al.
Published: (1993)

Απαιτήσεις από την X.400 Πλατφόρμα Ανάπτυξης Ι.Τ.Υ. Τεχνική Αναφορά TR 93.05.20
by: Θεοδωρόπουλος, Βαγγέλης, et al.
Published: (1993)

Παρουσίαση των Συστημάτων Ανάπτυξης ISODE και PP Ι.Τ.Υ. Τεχνική Αναφορά TR 93.05.21
by: Θεοδωρόπουλος, Βαγγέλης, et al.
Published: (1992)

Υλοποίηση του επεξεργαστή σχεδιασμού απαιτήσεων σε υλικά Ι.Τ.Υ. Τεχνική Αναφορά TR 93.07.29
by: Θηλυκός, Δημήτρης, et al.
Published: (1993)

Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations C.T.I. Technical Report TR 93.01.2
by: Βενέρης, Ανδρέας, et al.
Published: (1993)

Re-Randomization and Average Case Analysis of Fully Dynamic Graph Algorithms C.T.I. Technical Report TR 93.01.3
by: Reif, John, et al.
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: Ζαρολιάγκης, Χρήστος, et al.
Published: (1993)

An incremental algorithm for triangulating a y-convex polygon in linear time C.T.I. Technical Report TR 93.09.31
by: Κολλιόπουλος, Σ., et al.
Published: (1993)

Detetmining Effective Multiprocessor Scheduling Policies for Repetitive Real-Time tasks C.T.I. Technical Report TR 93.09.33
by: Παπαδημητρίου, Στέργιος, et al.
Published: (1993)

A Framework for the Computer Aided Spatial Education through Geographic Microworlds C.T.I. Technical Report TR 93.09.37
by: Κουτλής, Μανόλης, et al.
Published: (1993)

Occam implementation of the Schur type algorithm for ρ-Toeplitz system solution C.T.I. Technical Report TR 93.11.40
by: Θεοδωρίδης, Σέργιος 1951-, et al.
Published: (1993)

Near-Optimal Dominating Sets in Dense Random Graphs in Polynomial Expected Time C.T.I. Technical Report TR 93.03.13
by: Νικολετσέας, Σωτήρης, et al.
Published: (1993)

A randomised algorithm for all pairs shortest paths in 0( ) expected time C.T.I. Technical Report TR 93.07.27
by: Νικολετσέας, Σωτήρης, et al.
Published: (1993)

A Profitable Theory of nonmonotonic multiple inheritance based on Weighted Inheritance Networks C.T.I. Technical Report TR 93.07.30
by: Βουτσινάς, Βασίλειος, et al.
Published: (1993)

An algorithm to revise beliefs of a nonmonotonic multiple inheritance reasoner based on WINs C.T.I. Technical Report TR 93.09.34
by: Βουτσινάς, Βασίλειος, et al.
Published: (1993)

A class of fast adaptive algorithms for multichannel system identification and signal processing C.T.I. Technical Report TR 93.09.36
by: Θεοδωρίδης, Σέργιος 1951-, et al.
Published: (1993)

The Modeling and performance tuning of the Distributed Multimedia Filing System of a Virtual Authoring Environment C.T.I. Technical Report TR 93.05.18
by: Καμέας, Α., et al.
Published: (1993)

An Optimal Algorithm for Finding a Minimum Rectangle Cover of a Vertically Convex Polygon C.T.I. Technical Report TR 93.07.26
by: Κολλιόπουλος, Σ., et al.
Published: (1993)

A Multithreading implementation of low-level Image Processing on the 3-LAP massively parallel processor C.T.I. Technical Report TR 93.03.9
by: Δαβαράκης, Κ., et al.
Published: (1993)

The Mathematics of an Inheritance System, based on Weighted Inheritance Networks, with a Profitable view of multiple extensions C.T.I. Technical Report TR 93.09.35
by: Βουτσινάς, Βασίλειος, et al.
Published: (1993)

Θεωρητική και Τεχνική Πρόταση Εργασίας για την Ελληνοποίηση της Τυποποίησης X.400 Ι.Τ.Υ. Τεχνική Αναφορά TR 93.05.19
by: Θεοδωρόπουλος, Βαγγέλης, et al.
Published: (1993)

ΙΤΕΕ: Ενα επεκτάσιμο περιβάλλον διαχείρισης βιβλιοθηκών προδιαγραφών και εκτέλεσης προγραμμάτων για εικόνες Ι.Τ.Υ. Τεχνική Αναφορά TR 93.07.25
by: Δίπλας, Κωνσταντίνος Ν., et al.
Published: (1993)

Περιγραφή της βάσης αλγόριθμων δρομολόγησης για το σχεδιασμό και έλεγχο της βιομηχανικής παραγωγής Ι.Τ.Υ. Τεχνική Αναφορά TR 93.01.5
by: Θηλυκός, Δημήτρης, et al.
Published: (1993)

Ερευνητικό Πρόγραμμα για την Κατάρτιση προσωπικού του τομέα παροχής υπηρεσιών υγείας με χρήση Τηλεματικής/EUROFORM Ι.Τ.Υ. Τεχνική Αναφορά TR 93.03.12 Τεχνική Αναφορά για την Δικτυακή Υποδομή της Εφαρμογής "Ιπποκράτης"
by: Καπούλας, Βαγγέλης, et al.
Published: (1992)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_8f9sjf86ilcce71qm4pmp0upcm