Keyphrases
- constraint propagation
- constraint programming
- special purpose
- boolean functions
- analog circuits
- high speed
- global constraints
- decomposable negation normal form
- neural network
- set bounds propagation
- logic synthesis
- fault diagnosis
- tree width
- quantum computing
- data sets
- constraint satisfaction
- digital circuits
- cmos technology
- special case
- logic circuits
- electronic circuits
- delay insensitive
- learning algorithm
- fault models
- shift register
- genetic algorithm