`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:

### Wrote 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.