| |
| 2006 | ||
|---|---|---|
| 4 | EE | Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang: Enumeration Problems Related to Ground Horn Theories CoRR abs/cs/0610054: (2006) |
| 2004 | ||
| 3 | EE | Mitchell A. Harris, Edward M. Reingold: Line drawing, leap years, and Euclid. ACM Comput. Surv. 36(1): 68-80 (2004) |
| 2003 | ||
| 2 | EE | Tanya Y. Berger-Wolf, Mitchell A. Harris: Sharp Bounds for Bandwidth of Clique Products CoRR cs.DM/0305051: (2003) |
| 2001 | ||
| 1 | EE | Mitchell A. Harris: Counting Satisfiable k-CNF Formulas. CP 2001: 765 |
| 1 | Tanya Y. Berger-Wolf | [2] |
| 2 | Nachum Dershowitz | [4] |
| 3 | Guan-Shieng Huang | [4] |
| 4 | Edward M. Reingold | [3] |