Ralph Eric McGregor

According to our database, Ralph Eric McGregor authored at least 3 papers between 2007 and 2009.

Collaborative distances:

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

2009

Combining Instance Generation and Resolution.

Christopher Lynch, Ralph Eric McGregor

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2007

Encoding First Order Proofs in SMT.

Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007

Encoding First Order Proofs in SAT.

Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor

Proceedings of the Automated Deduction, 2007