Propositional reasoning by dimensional reduction: a preliminary report. - Robin Lohfert; James J. Lu (ACM Southeast Regional Conference, 2007)

Solving SQL Constraints by Incremental Translation to SAT. - Robin Lohfert; James J. Lu; Dongfang Zhao 001 (IEA/AIE, 2008)