Polynomial Arithmetic Using Sequential Stochastic Logic.
Naman SarafKia BazarganPublished in: ACM Great Lakes Symposium on VLSI (2016)
Keyphrases
- micron cmos
- modal logic
- classical logic
- logic programming
- quantifier free
- stochastic nature
- automated reasoning
- monte carlo
- learning automata
- stochastic optimization
- stochastic programming
- artificial intelligence
- logical framework
- low order
- digital circuits
- predicate logic
- polynomial equations
- quantifier elimination