On Commutativity Based Edge Lean Search

DOI10.1007/978-3-540-73420-8_16zbMath1171.68444OpenAlexW1787805633MaRDI QIDQ5428806

Edith Elkind, Dragan Bošnački, Doron A. Peled, Blaise Genest

Publication date: 28 November 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73420-8_16

Mathematics Subject Classification ID

Searching and sorting (68P10) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Partial-Order Reduction

This page was built for publication: On Commutativity Based Edge Lean Search