| |
| 2008 | ||
|---|---|---|
| 2 | EE | Robin Lohfert, James J. Lu, Dongfang Zhao: Solving SQL Constraints by Incremental Translation to SAT. IEA/AIE 2008: 669-676 |
| 2007 | ||
| 1 | EE | Robin Lohfert, James J. Lu: Propositional reasoning by dimensional reduction: a preliminary report. ACM Southeast Regional Conference 2007: 525-526 |
| 1 | James J. Lu | [1] [2] |
| 2 | Dongfang Zhao | [2] |