On Exponential Lower Bounds for Partially Ordered Resolution.
Mikolas JanotaPublished in: J. Satisf. Boolean Model. Comput. (2016)
Keyphrases
- partially ordered
- lower bound
- partial order
- upper bound
- average case complexity
- branch and bound algorithm
- totally ordered
- partial ordering
- event calculus
- branch and bound
- lower and upper bounds
- np hard
- vc dimension
- objective function
- worst case
- interval valued
- total order
- total ordering
- high resolution
- optimal solution
- upper and lower bounds
- average case
- low resolution
- possibilistic logic