<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-07-11 06:39:50Mathematical logic Resolution Unit propagation Entailment Logic Automated theorem proving Rules of inference |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2011-07-11 06:39:50Mathematical logic Resolution Unit propagation Entailment Logic Automated theorem proving Rules of inference |
Add to Reading List |
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.Wolt