Keyphrases
- search space pruning
- quantified boolean formulas
- high speed
- circuit design
- neural network
- quantified boolean formulae
- frequent patterns
- analog circuits
- digital circuits
- duty cycle
- analog vlsi
- electronic circuits
- real world
- real time
- frequency response
- reasoning tasks
- power reduction
- logic synthesis
- uniform distribution
- evolutionary algorithm
- computational complexity
- data sets