Randomized feasible interpolation and monotone circuits with a local oracle.
Jan KrajícekPublished in: CoRR (2016)
Keyphrases
- monotonicity constraints
- database
- circuit design
- high speed
- linear interpolation
- analog circuits
- image interpolation
- boolean functions
- delay insensitive
- database security
- lateral inhibition
- vlsi circuits
- analog vlsi
- randomized algorithms
- digital circuits
- database administration
- logic programs
- relational databases
- neural network