Daijue Tang
According to our database1,
Daijue Tang
authored at least 5 papers
between 2004 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
2004
2005
2006
0
1
2
3
4
1
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.
Proceedings of the Theory and Applications of Satisfiability Testing, 2004
Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.
Proceedings of the SAT 2004, 2004