Sign in

Automated synthesis of stochastic computational elements using decision procedures.

Amad Ul HassenBrigadesh ChandrasekarSumit 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