Quasi-Optimal Partial Order Reduction.

Huyen T. T. Nguyen César Rodríguez Marcelo Sousa Camille Coti Laure Petrucci

Published in: CAV (2) (2018)

Keyphrases

optimal solution
real world
website
expert systems
dynamic programming
worst case
closed form
real time
data sets
databases
neural network
data mining
information systems
metadata
multi objective