Travelled to:1 × USA
1 × United Kingdom
2 × Canada
Collaborated with:S.Malik Y.Yu D.Ranjan A.Gupta C.N.Ip
Talks about:quantifi (3) formula (3) circuit (3) boolean (3) base (3) algorithm (2) satisfi (2) problem (2) analysi (2) search (2)
Person: Daijue Tang
DBLP: Tang:Daijue
Contributed to:
2006
200520042005Wrote 4 papers:
- SAT-2006-TangM #quantifier
- Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares (DT, SM), pp. 368–381.
- CAV-2005-TangMGI #model checking #reduction #satisfiability #symmetry
- Symmetry Reduction in SAT-Based Model Checking (DT, SM, AG, CNI), pp. 125–138.
- SAT-2004-TangYRM #algorithm #analysis #problem #quantifier #satisfiability
- Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems (DT, YY, DR, SM), pp. 214–223.
- SAT-J-2004-TangYRM05 #algorithm #analysis #problem #quantifier #satisfiability
- Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems (DT, YY, DR, SM), pp. 292–305.