| |
| 2007 | ||
|---|---|---|
| 3 | Jessica Davies, Fahiem Bacchus: Using More Reasoning to Improve #SAT Solving. AAAI 2007: 185-190 | |
| 2 | EE | Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12 |
| 2006 | ||
| 1 | EE | Horst Samulowitz, Jessica Davies, Fahiem Bacchus: Preprocessing QBF. CP 2006: 514-529 |
| 1 | Fahiem Bacchus | [1] [3] |
| 2 | Marsha Chechik | [2] |
| 3 | Arie Gurfinkel | [2] |
| 4 | Horst Samulowitz | [1] |
| 5 | Jocelyn Simmonds | [2] |