Understanding Resolution Proofs through Herbrand’s Theorem TBILLC 2013 Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia September 28, 2013 - Resolution - Document - PDFSEARCH.IO

First Page	Meta Content
	Understanding Resolution Proofs through Herbrand’s Theorem TBILLC 2013 Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia September 28, 2013 Add to Reading List Document Date: 2013-10-04 04:37:42 Open Document File Size: 346,24 KB Share Result on Facebook

Understanding Resolution Proofs through Herbrand’s Theorem TBILLC 2013 Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia September 28, 2013Add to Reading List