Lower Bounds for DeMorgan Circuits of Bounded Negation Width.
Stasys JuknaAndrzej LingasPublished in: STACS (2019)
Keyphrases
- lower bound
- upper bound
- branch and bound
- objective function
- np hard
- branch and bound algorithm
- lower and upper bounds
- logic programs
- optimal solution
- worst case
- lower bounding
- logic programming
- deductive databases
- upper and lower bounds
- set of randomly generated instances
- predicate logic
- fixpoint
- quadratic assignment problem
- vc dimension
- logic circuits
- randomly generated problems
- compositional semantics
- learning algorithm
- online algorithms
- high speed
- asynchronous circuits
- quantum computing