Daijue Tang

According to our database, Daijue Tang authored at least 5 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.

Daijue Tang, Sharad Malik

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2005

Symmetry Reduction in SAT-Based Model Checking.

Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip

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.

Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik

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.

Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik

Proceedings of the SAT 2004, 2004

A Comparative Study of 2QBF Algorithms.

Darsh Ranjan, Daijue Tang, Sharad Malik

Proceedings of the SAT 2004, 2004