| 2004 | ||
|---|---|---|
| 3 | EE | Christian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL Search. CP 2004: 663-678 |
| 2 | EE | Christian Thiffault, Fahiem Bacchus, Toby Walsh: Solving Non-clausal Formulas with DPLL search. SAT 2004 |
| 2003 | ||
| 1 | EE | Christian Thiffault, Michael Voss, Steven T. Healey, Seon Wook Kim: Dynamic Instrumentation of Large-Scale MPI and OpenMP Applications. IPDPS 2003: 65 |
| 1 | Fahiem Bacchus | [2] [3] |
| 2 | Steven T. Healey | [1] |
| 3 | Seon Wook Kim | [1] |
| 4 | Michael Voss | [1] |
| 5 | Toby Walsh | [2] [3] |