scientific article; zbMATH DE number 1552526

zbMATH Open0971.03014MaRDI QIDQ4524786FDOQ4524786

Authors: Wolfgang Bibel, Stefan Brüning, Jens Otten, Thomas Rath, Torsten Schaub 

Publication date: 29 July 2001

Title of this publication is not available (Why is that?)

Recommendations

• Proof compressions with circuit-structured substitutions
• scientific article; zbMATH DE number 1612557
• A tableaux calculus for reducing proof size
• Data compression for proof replay
• Compression of propositional resolution proofs by lowering subproofs

zbMATH Keywords

efficiencydatabasescompressiondecision procedureproof systemconnection methodKoMeT theorem proving system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Compression and Ranking
• Propositional proof compressions and DNF logic
• Compression With Actions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4524786)