| |
| 2004 | ||
|---|---|---|
| 2 | EE | Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik: Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. SAT 2004 |
| 1 | EE | Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik: Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. SAT (Selected Papers 2004: 292-305 |
| 1 | Sharad Malik | [1] [2] |
| 2 | Daijue Tang | [1] [2] |
| 3 | Yinlei Yu | [1] [2] |