Travelled to:2 × Germany
Collaborated with:H.Lin C.Lynch J.Bongio C.Katrak T.Deshane W.Hu P.Jablonski
Talks about:proof (2) order (2) first (2) encod (2) smt (1) sat (1)
Person: Ralph Eric McGregor
DBLP: McGregor:Ralph_Eric
Contributed to:
2007
2008Wrote 2 papers:
- CADE-2007-DeshaneHJLLM #encoding #first-order #proving #satisfiability
- Encoding First Order Proofs in SAT (TD, WH, PJ, HL, CL, REM), pp. 476–491.
- SMT-2007-BongioKLLM08 #encoding #first-order #proving #smt
- Encoding First Order Proofs in SMT (JB, CK, HL, CL, REM), pp. 71–84.