Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs.

Steven T. Stewart Derek Rayside Vijay Ganesh Krzysztof Czarnecki

Published in: VSTTE (2016)

Keyphrases

special case
general purpose
real life
linear programming
finite dimensional
integer arithmetic
databases
neural network
machine learning
information retrieval
closely related
linear systems