Succinct certification of monotone circuits.
Mateus Rodrigues AlvesMateus de Oliveira OliveiraJanio Carlos Nascimento SilvaUéverton dos Santos SouzaPublished in: Theor. Comput. Sci. (2021)
Keyphrases
- delay insensitive
- third party
- analog circuits
- high speed
- vlsi circuits
- upper bound
- tunnel diode
- digital circuits
- boolean functions
- expert systems
- logic circuits
- logic synthesis
- monotonicity constraints
- chip design
- lateral inhibition
- business intelligence
- circuit design
- data sets
- asynchronous circuits
- electronic circuits
- lower bound
- database systems
- databases