Robin Lohfert

According to our database, Robin Lohfert authored at least 2 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Solving SQL Constraints by Incremental Translation to SAT.

Robin Lohfert, James J. Lu, Dongfang Zhao

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

2007

Propositional reasoning by dimensional reduction: a preliminary report.

Robin Lohfert, James J. Lu

Proceedings of the 45th Annual Southeast Regional Conference, 2007