Keyphrases
- high speed
- delay insensitive
- logic circuits
- bayesian networks
- theorem proving
- analog circuits
- linear logic
- vlsi circuits
- quantum computing
- artificial intelligence
- multiscale
- database
- theorem prover
- geometry theorem proving
- automated theorem proving
- information systems
- social networks
- machine learning
- real world
- data sets