Login / Signup
Brigadesh Chandrasekar
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Decision Procedures
Search Space
Quantified Boolean Formulas
Sat Solvers
Top Venues
ISCAS
</>
Publications
</>
Amad Ul Hassen
,
Brigadesh Chandrasekar
,
Sumit Kumar Jha
Automated synthesis of stochastic computational elements using decision procedures.
ISCAS
(2016)