Approximate Partial Order Reduction.

Zhenqi Huang Sayan Mitra

Published in: CoRR (2016)

Keyphrases

partial order reduction
model checking
petri net
neural network
learning algorithm
image processing
data mining
bayesian networks
pattern recognition
natural language
computational complexity
least squares
approximate solutions
exact computation