Circuit Size Lower Bounds and #SAT Upper Bounds Through a General Framework.
Alexander GolovnevAlexander S. KulikovAlexander V. SmalSuguru TamakiPublished in: MFCS (2016)
Keyphrases
- upper bound
- lower bound
- max sat
- upper and lower bounds
- lower and upper bounds
- running times
- branch and bound
- branch and bound algorithm
- worst case
- constant factor
- objective function
- np hard
- optimal solution
- satisfiability problem
- lower bounding
- optimal cost
- sample complexity
- vc dimension
- sample size
- search algorithm
- randomly generated problems
- phase transition
- sat problem
- search strategies
- concept classes
- concept class
- linear programming
- computational complexity
- linear functions
- upper bounding
- tight upper and lower bounds