Ralph Eric McGregor

Publication Activity (10 Years)

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

Publications

Christopher Lynch, Ralph Eric McGregor
Combining Instance Generation and Resolution. FroCoS (2009)
Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor
Encoding First Order Proofs in SMT. Electron. Notes Theor. Comput. Sci. 198 (2) (2008)
Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor
Encoding First Order Proofs in SAT. CADE (2007)