Circuits, Pebbling and Expressibility.

V. Vinay H. Venkateswaran C. E. Veni Madhavan

Published in: Computational Complexity Conference (1990)

Keyphrases

clause learning
high speed
digital circuits
sat solvers
analog circuits
circuit design
artificial intelligence
sufficient conditions
decision problems
search methods
satisfiability problem
propositional satisfiability
power dissipation
logic circuits