| 2006 |
|---|
| 5 | EE | Daijue Tang,
Sharad Malik:
Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.
SAT 2006: 368-381 |
| 2005 |
|---|
| 4 | EE | Daijue Tang,
Sharad Malik,
Aarti Gupta,
C. Norris Ip:
Symmetry Reduction in SAT-Based Model Checking.
CAV 2005: 125-138 |
| 2004 |
|---|
| 3 | EE | Darsh P. Ranjan,
Daijue Tang,
Sharad Malik:
A Comparative Study of 2QBF Algorithms.
SAT 2004 |
| 2 | EE | 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 |
| 1 | EE | 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: 292-305 |
