A Constructive Proof for the Induction of M-convex Functions through Networks.

Akiyoshi Shioura

Published in: Discret. Appl. Math. (1998)

Keyphrases

convex functions
convex programs
proof planning
linear program
quasiconvex
dc programming
primal dual
convex programming
feature extraction
objective function
convex sets
proof search
exact penalty
machine learning
knapsack problem