![Mathematical logic / Resolution / Unit propagation / Entailment / Logic / Automated theorem proving / Rules of inference Mathematical logic / Resolution / Unit propagation / Entailment / Logic / Automated theorem proving / Rules of inference](https://www.pdfsearch.io/img/d685e4c31ef7f8ca49f6b624866a578a.jpg) Date: 2011-07-11 06:39:50Mathematical logic Resolution Unit propagation Entailment Logic Automated theorem proving Rules of inference | | Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.WoltAdd to Reading ListSource URL: www.loria.frDownload Document from Source Website File Size: 437,22 KBShare Document on Facebook
|