Parsimonious Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla Mohamed Faouzi Atig Sarbojit Das Bengt Jonsson Konstantinos Sagonas

Published in: CoRR (2024)

Keyphrases

dynamic programming
neural network
model checking
asymptotically optimal
partial order reduction
database
optimal solution