PG-KLEE: trading soundness for coverage.

Richard Rutledge Alessandro Orso

Published in: ICSE (Companion Volume) (2020)

Keyphrases

simplex method
linear program
linear programming
electronic commerce
financial markets
primal dual
foreign exchange
machine learning
constraint satisfaction
convergence rate
trading strategies