Resolution Lower Bounds for Refutation Statements.
Michal GarlíkPublished in: Electron. Colloquium Comput. Complex. (2019)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- lower and upper bounds
- high resolution
- objective function
- theorem proving
- theorem prover
- np hard
- worst case
- upper and lower bounds
- low resolution
- inductive inference
- vc dimension
- consequence finding
- lower bounding
- data sets
- neural network
- natural language
- sampling rate
- optimal solution
- randomly generated problems