Automated synthesis of stochastic computational elements using decision procedures.

Amad Ul Hassen Brigadesh Chandrasekar Sumit Kumar Jha

Published in: ISCAS (2016)

Keyphrases

sat solvers
decision procedures
theorem proving
modal logic
automated reasoning
search space
reasoning problems
conjunctive queries
satisfiability problem
quantified boolean formulas
database
machine learning