| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Benjamin Chambers, Panagiotis Manolios, Daron Vroon: Faster SAT solving with better CNF generation. DATE 2009: 1590-1595 |
| 2007 | ||
| 1 | EE | Matthew Might, Benjamin Chambers, Olin Shivers: Model Checking Via GammaCFA. VMCAI 2007: 59-73 |
| 1 | Panagiotis Manolios (Pete Manolios) | [2] |
| 2 | Matthew Might | [1] |
| 3 | Olin Shivers | [1] |
| 4 | Daron Vroon | [2] |