A Compilation of Succinctness Results for Arithmetic Circuits.
Alexis de ColnetStefan MengelPublished in: KR (2021)
Keyphrases
- knowledge compilation
- modal logic
- prime implicates
- high speed
- tunnel diode
- analog circuits
- delay insensitive
- logic circuits
- artificial neural networks
- vlsi circuits
- floating point
- circuit design
- asynchronous circuits
- database
- databases
- lateral inhibition
- analog vlsi
- model counting
- decomposable negation normal form
- logic synthesis
- arithmetic operations
- expert systems
- image processing
- e learning
- information systems
- information retrieval