Map2Check Using LLVM and KLEE - (Competition Contribution).

Rafael Menezes Herbert Rocha Lucas C. Cordeiro Raimundo S. Barreto

Published in: TACAS (2) (2018)

Keyphrases

simplex method
maximum a posteriori
linear programming
linear program
neural network
computational complexity
convergence rate
international competition