Applying the "smoothing" technique of Achlioptas and Moore to the satisfiability problem CTI Technical Report Νο. TR 2002/12/02

Applying the "smoothing" technique of Achlioptas and Moore to the satisfiability problem CTI Technical Report Νο. TR 2002/12/02

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	ΔΑΒΡΑΖΟΣ, ΕΥΘΥΜΙΟΣ (Συγγραφέας), Καπόρης, Αλεξης (Συγγραφέας), Κυρούσης, Λευτέρης Μ. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Patras - Hellas CTI December 2002
Θέματα:	ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ cti tr 2002 TECHNICAL REPORT

Παρόμοια τεκμήρια

Geometric Deformations and Watermarking CTI Technical Report TR 2002/09/02
ανά: Φωτοπουλος, Β., κ.ά.
Έκδοση: (2002)

New Balanced Search Trees with Constant Update Time CTI Technical Report TR No. 2002/02/02
ανά: Μακρής, Χρήστος, κ.ά.
Έκδοση: (2002)

Adaptive Coefficient Selection for Transform Domain Watermarking CTI Technical Report TR 2002/10/02
ανά: Φωτοπουλος, Β., κ.ά.
Έκδοση: (2002)

Multiple channel watermarking of color images cti Technical Report 2002/02/03
ανά: GILANI, S. Asif Mahmood, κ.ά.
Έκδοση: (2002)

Implementation and integration of Regional Health Care Data Networks: the case of the Hellenic NHS CTI Technical Report Νο. TR 2002/12/01
ανά: Λάμψας, Π., κ.ά.
Έκδοση: (2002)

Geometric Retrieval for Grid Points in the RAM model CTI Technical Report No. 2002/11/02
ανά: Μακρής, Χρήστος, κ.ά.
Έκδοση: (2002)

A web - based intelligent tutoring system using hybrid rules as its representational basis CTI Technical Report TR2002/05/02
ανά: Πρεντζας, Δημητρης, κ.ά.
Έκδοση: (2002)

Constructing modular hybrid rules bases for expert systems cti Technical Report 2002/04/02
ανά: Χατζηλυγερούδης, Ι., κ.ά.
Έκδοση: (2002)

Πληροφοριακό σύστημα νοσοκομείου: απαραίτητη υποδομή στο σύγχρονο νοσοκομείο CTI Technical Report 2002/01/02
ανά: Βαγγελάτος, Αριστείδης, κ.ά.
Έκδοση: (2002)

It outsourcing in the healthcare sector: the case of a state general hospital cti Technical Report 2002/02/01
ανά: Σαριβουγιούκας, I., κ.ά.
Έκδοση: (2002)

Efficient colouring of squares of planar graphs CTI Technical Report No. TR2002/11/01
ανά: Ανδρέου, Μαρία, κ.ά.
Έκδοση: (2002)

Determination of the success of a hospital's information system implementation CTI Technical Report TR 2002/09/01
ανά: Σαριβουγιούκας, I., κ.ά.
Έκδοση: (2002)

Undecidability results concerning Datalog programms and their persistency numbers. cti Technical Report No. TR 2002/12/03
ανά: Κοσμαδάκης, Σταύρος, κ.ά.
Έκδοση: (2002)

On Radiocoloring Hierarchically Specified Planar Graphs: PSPACE - completeness and Approximations CTI Technical Report No. TR2002/10/05
ανά: Ανδρέου, Μαρία, κ.ά.
Έκδοση: (2002)

NP - Completeness Results and Efficient Approximations for Radiocoloring in Planar Graphs CTI Technical Report No. TR2002/10/03
ανά: Φωτάκης, Δημήτρης, κ.ά.
Έκδοση: (2002)

Attack propagation in networks CTI Technical Report 2002/01/01
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (2002)

Radiocolorings in Periodic Planar Graphs: SPACE - Completeness and Efficient Approximations for the Optimal Range of Frequencies CTI Technical Report No. TR2002/10/04
ανά: Φωτάκης, Δημήτρης, κ.ά.
Έκδοση: (2002)

Lessons learned from the introduction of a Laboratory Information System in a State Hospital of Athens, Greece CTI Technical Report TR 2002/10/01
ανά: Βαγγελάτος, Αριστείδης, κ.ά.
Έκδοση: (2002)

ICT Penetration in Public Greek Hospitals cti Technical Report 2002/04/01
ανά: Βαγγελάτος, Αριστείδης, κ.ά.
Έκδοση: (2002)

Handling zero in diminished - one modulo 2n+1 adders CTI Technical Report 2002/01/03
ανά: Ευσταθίου, Χ, κ.ά.
Έκδοση: (2002)

Ηλεκτρονική Διοίκηση και Επίπεδα Εφαρμογών Η τεχνολογία στην υπηρεσία του πολίτη. cti Technical Report 2002/05/01
ανά: Τσακαλίδης, Αθανάσιος, κ.ά.
Έκδοση: (2002)

An Atomicity Criterion for Composite Registers C.T.I. Technical Report TR 91.02.05
ανά: Βενέρης, Ανδρέας, κ.ά.
Έκδοση: (1991)

HA ISufficient Condition for Fast Parallel Solution of the Constraint Satisfaction Problem C.T.I. Technical Report TR 91.12.29
ανά: Κυρούσης, Λευτέρης Μ.
Έκδοση: (1991)

Fugitive-Search Games on Graphs and Related Parameters C.T.I. Technical Report TR 94.02.11
ανά: Δενδρής, Νίκος, κ.ά.
Έκδοση: (1994)

Why Mick Doesn't Get Any: Thresholds for (Un)Satisfiability C.T.I. Technical Report TR 93.12.42
ανά: Kamath, Anil, κ.ά.
Έκδοση: (1993)

The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

A Survey of Concurrent Readers and Writers [C.T.I. Technical Reports] TR. 89.10.97
ανά: Κρανάκης, Ευάγγελος, κ.ά.
Έκδοση: (1989)

An inequality for reducible, increasing properties of randomly generated words* [C.T.I. Technical Reports] TR. 96.10.34
ανά: Κυρούσης, Λευτέρης Μ., κ.ά.
Έκδοση: (1996)

Linear-time parallel arc consistency with reduced communication requirements [Technical Report] CTI TR 95.5.22
ανά: Δενδρής, Νίκος, κ.ά.
Έκδοση: (1995)

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

Pythia and Tyche:an Eternal Golden Braid [C.T.I. Technical Reports] TR 88.01.43
ανά: Κυρούσης, Λευτέρης Μ., κ.ά.
Έκδοση: (1988)

A purely asynchronous, message-efficient distributed algorithm for achieving arc consistency in networks of relations [Technical Report] CTI TR 95.5.21
ανά: Κυρούσης, Λευτέρης Μ., κ.ά.
Έκδοση: (1995)

Labelling Images of the Pottery World C.T.I. Technical Report TR 91.11.26
ανά: Δενδρής, Νίκος, κ.ά.
Έκδοση: (1991)

Probabilistic log-space reductions and problems probabilistically hard for P. [C.T.I. Technical Reports] TR 88.01.39
ανά: Κυρούσης, Λευτέρης Μ., κ.ά.
Έκδοση: (1988)

Arc-Consistency is Hard to Approximate in Parallel C.T.I. Technical Report TR 94.09.48
ανά: Δενδρής, Νίκος, κ.ά.
Έκδοση: (1994)

The Complexity of the Reliable Connectivity Problem C.T.I. Technical Report TR 90.01.01
ανά: Καβαδίας, Δημήτρης, κ.ά.
Έκδοση: (1991)

A Proof of Menger's Theorem C.T.I. Technical Report TR 92.01.1
ανά: Δενδρής, Νίκος, κ.ά.
Έκδοση: (1992)

An Efficient Parallel Algorithm for Geometrically Characterising Drawings of a Class of 3-D Objects C.T.I. Technical Report TR 92.11.20
ανά: Δενδρής, Νίκος, κ.ά.
Έκδοση: (1992)

The Parallel Complexity of the Subgraph Connectivity Problem C.T.I. [Technical Report] TR. 89.04.82
ανά: Serna, Maria, 1959-, κ.ά.
Έκδοση: (1989)

The parallel complexity of the connected subgraph problem [C.T.I. Technical Reports TR. 90.10.23]
ανά: Serna, Maria, 1959-, κ.ά.
Έκδοση: (1990)

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