Stochastic circuit synthesis via satisfiability.

Xiang He Zhufei Chu

Published in: Integr. (2022)

Keyphrases

satisfiability problem
propositional logic
monte carlo
np complete
stochastic optimization
stochastic programming
databases
machine learning
stochastic model
computational complexity
artificial neural networks
evolutionary algorithm
phase transition
learning automata
decision procedures
terminological reasoning