Back to Results
First PageMeta Content
Mathematical 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.Wolt
Add to Reading List

Document Date: 2011-07-11 06:39:50

Open Document

File Size: 437,22 KB

Share Result on Facebook

City

Nancy / /

Country

France / /

/

Facility

Bruno Woltzenlogel Paleo University of Nancy / /

IndustryTerm

diagnostic applications / proof search / software verification / /

Organization

INRIA / Bruno Woltzenlogel Paleo University of Nancy / /

Person

Stephan Merz / Pascal Fontaine / /

Position

code producer / /

Technology

end end Algorithm / end Algorithm / second algorithm / RPI algorithms / regularized end Algorithm / 4 Algorithm / 5 Algorithm / two algorithms / /

SocialTag