Context-sensitive dynamic partial order reduction
- Albert, E.
- Arenas, P.
- De La Banda, M.G.
- Gómez-Zamalloa, M.
- Stuckey, P.J.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319633862
Datum der Publikation: 2017
Ausgabe: 10426 LNCS
Seiten: 526-543
Art: Konferenz-Beitrag