| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Christopher Lynch, Ralph Eric McGregor: Combining Instance Generation and Resolution. FroCos 2009: 304-318 |
| 2008 | ||
| 2 | EE | Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SMT. Electr. Notes Theor. Comput. Sci. 198(2): 71-84 (2008) |
| 2007 | ||
| 1 | EE | Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SAT. CADE 2007: 476-491 |
| 1 | Jeremy Bongio | [2] |
| 2 | Todd Deshane | [1] |
| 3 | Wenjin Hu | [1] |
| 4 | Patty Jablonski | [1] |
| 5 | Cyrus Katrak | [2] |
| 6 | Hai Lin | [1] [2] |
| 7 | Christopher Lynch | [1] [2] [3] |