✦ LIBER ✦

The Schorr-Waite graph marking algorithm

✍ Scribed by David Gries

Book ID: 104706251
Publisher: Springer-Verlag
Year: 1979
Tongue: English
Weight: 463 KB
Volume: 11
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf00289068

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Schorr-Waite marking algorithm revis

The Schorr-Waite marking algorithm revisited

✍ Nachum Dershowitz 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 373 KB

The correctness of the Schorr-Waite list

The correctness of the Schorr-Waite list marking algorithm

✍ R. W. Topor 📂 Article 📅 1979 🏛 Springer-Verlag 🌐 English ⚖ 527 KB

Two tagless variations on the Deutsch-Sc

Two tagless variations on the Deutsch-Schorr-waite algorithm

✍ Mark C. Hamburg 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 409 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || The Schorr-Waite-Algorithm

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 478 KB

On the problem of consistent marking of

On the problem of consistent marking of a graph

✍ Fred S. Roberts 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 583 KB

Graph drawing: algorithms for the visual

Graph drawing: algorithms for the visualization of graphs

✍ Ioannis G. Tollis, Giuseppe Di Battista, Peter Eades, Roberto Tamassia 📂 Library 📅 1999 🏛 Prentice Hall 🌐 English ⚖ 3 MB

This book is designed to describe fundamental algorithmic techniques for constructing drawings of graphs. Suitable as a book or reference manual, its chapters offer an accurate, accessible reflection of the rapidly expanding field of graph drawing.