Encoding First Order Proofs in SAT.

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

Browse the full CADE paper archive.