linear programming

combinatorial optimization (1039) convex optimization (1321) graphical model (864) map inference (130) approximation algorithm (630) markov decision process (790) linear programming relaxation (40) reinforcement learning (4352) neural network verification (106) linear program (26)