Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints.
Piotr J. WojciechowskiK. SubramaniMatthew D. WilliamsonPublished in: FAW (2018)
Keyphrases
- linear constraints
- optimal linear
- closed form solutions
- linear inequalities
- closed form
- semi infinite programming
- tree structure
- optimal solution
- binary search trees
- minimum error
- constraint satisfaction
- worst case
- constrained optimization
- piecewise linear
- dynamic programming
- neural network
- linear space
- tree automata
- minimum length
- reducing the search space
- grassmann manifold
- leaf nodes
- error tolerance
- np hard
- decision trees