Login / Signup
Daijue Tang
Publication Activity (10 Years)
Years Active: 2004-2006
Publications (10 Years): 0
</>
Publications
</>
Daijue Tang
,
Sharad Malik
Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.
SAT
(2006)
Daijue Tang
,
Sharad Malik
,
Aarti Gupta
,
C. Norris Ip
Symmetry Reduction in SAT-Based Model Checking.
CAV
(2005)
Daijue Tang
,
Yinlei Yu
,
Darsh Ranjan
,
Sharad Malik
Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.
SAT
(2004)
Darsh Ranjan
,
Daijue Tang
,
Sharad Malik
A Comparative Study of 2QBF Algorithms.
SAT
(2004)
Daijue Tang
,
Yinlei Yu
,
Darsh Ranjan
,
Sharad Malik
Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.
SAT (Selected Papers
(2004)