Refuting conjectures in extremal combinatorics via linear programming.
Adam Zsolt WagnerPublished in: J. Comb. Theory, Ser. A (2020)
Keyphrases
- linear programming
- graph theory
- linear program
- feasible solution
- quadratic programming
- dynamic programming
- primal dual
- network flow
- column generation
- optimal solution
- integer programming
- objective function
- nonlinear programming
- constraint propagation
- inductive inference
- np hard
- maximally stable
- linear programming problems
- simplex algorithm
- complex networks
- machine learning
- computer vision
- theorem prover
- social network analysis
- special case
- lower bound
- data structure
- social networks
- artificial intelligence