| |
| 2005 | ||
|---|---|---|
| 2 | EE | Vijay Durairaj, Priyank Kalla: Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies. SAT 2005: 415-422 |
| 2004 | ||
| 1 | EE | Vijay Durairaj, Priyank Kalla: Guiding CNF-SAT search via efficient constraint partitioning. ICCAD 2004: 498-501 |
| 1 | Priyank Kalla | [1] [2] |