C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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