Refuting conjectures in extremal combinatorics via linear programming.
Zsolt Adam WagnerPublished in: CoRR (2019)
Keyphrases
- linear programming
- graph theory
- linear program
- feasible solution
- quadratic programming
- dynamic programming
- optimal solution
- linear programming problems
- np hard
- complex networks
- artificial intelligence
- objective function
- primal dual
- theorem prover
- social network analysis
- nonlinear programming
- linear arithmetic constraints
- data sets
- inductive inference
- data structure
- neural network