Robin Lohfert

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Robin Lohfert, James J. Lu, Dongfang Zhao
Solving SQL Constraints by Incremental Translation to SAT. IEA/AIE (2008)
Robin Lohfert, James J. Lu
Propositional reasoning by dimensional reduction: a preliminary report. ACM Southeast Regional Conference (2007)