Resolution with Counting: Lower Bounds over Different Moduli.
Fedor PartIddo TzameretPublished in: CoRR (2018)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- objective function
- vc dimension
- branch and bound
- consequence finding
- lower and upper bounds
- low resolution
- np hard
- worst case
- quadratic assignment problem
- neural network
- super resolution
- inductive inference
- sample complexity
- data structure
- upper and lower bounds
- image resolution
- higher resolution
- online algorithms
- lower bounding
- optimal cost