Keyphrases
- boolean functions
- phase transition
- real valued
- truth table
- high speed
- sat solvers
- vlsi circuits
- logic synthesis
- analog circuits
- logic circuits
- xpath queries
- multi valued
- circuit design
- database
- delay insensitive
- unsatisfiable cores
- low cost
- boolean logic
- power reduction
- quantum computing
- computational complexity
- analog vlsi
- case study
- high level synthesis
- lateral inhibition
- real time