The Schorr-Waite marking algorithm revisited

Materias

• Directed graphs
• Computer algorithms
• Data processing

Ediciones (2)

• The Schorr-Waite marking algorithm revisited (1979)

  Dept. of Computer Science, University of Illinois at Urbana-Champaign · inglés

• The Schorr-Waite marking algorithm revisited (1979)

  Dept. of Computer Science, University of Illinois at Urbana-Champaign · inglés

Más obras de Nachum Dershowitz

Fields of logic and computation

Pillars of computer science

VVerification

Verification