Lower Bounds for Circuits of Bounded Negation Width.
Stasys JuknaAndrzej LingasPublished in: Electron. Colloquium Comput. Complex. (2018)
Keyphrases
- lower bound
- upper bound
- logic programs
- branch and bound algorithm
- branch and bound
- objective function
- lower and upper bounds
- worst case
- fixpoint
- upper and lower bounds
- np hard
- high speed
- delay insensitive
- truth table
- analog vlsi
- digital circuits
- deductive databases
- logic programming
- floating gate
- logic synthesis
- analog circuits
- optimal solution
- predicate logic
- circuit design
- vc dimension
- power dissipation
- logic circuits
- randomly generated problems
- asymptotically optimal
- max sat
- horn clauses
- high level synthesis
- answer sets
- compositional semantics