Daijue Tang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2004–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | SAT | Solving Quantified Boolean Formulas with Circuit Observability Don't Cares. | Daijue Tang, Sharad Malik |
| 2005 | CAV | Symmetry Reduction in SAT-Based Model Checking. | Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip |
| 2004 | SAT | A Comparative Study of 2QBF Algorithms. | Darsh Ranjan, Daijue Tang, Sharad Malik |
| 2004 | SAT | Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. | Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik |
| 2004 | SAT | Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. | Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik |