Optimal dynamic partial order reduction.

Parosh Aziz Abdulla Stavros Aronis Bengt Jonsson Konstantinos Sagonas

Published in: POPL (2014)

Keyphrases

dynamic environments
dynamically changing
finding optimal
information retrieval
image processing
case study
social networks
decision trees
cost function
dynamic programming
worst case
globally optimal
partial order reduction