Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla Stavros Aronis Bengt Jonsson Konstantinos Sagonas

Published in: J. ACM (2017)

Keyphrases

partial order reduction
dynamic programming
dynamic environments
image sequences
optimal solution
model checking
finding optimal
databases
information systems
search algorithm
worst case
petri net