scientific article; zbMATH DE number 1301755

MaRDI QIDQ4246970zbMATH OpenFDO

Authors Reinhard Pichler

Publication date 25 January 2000

zbMATH Keywords

automated deductionclause evaluation problemdecision problemsefficiency of algorithmsHerbrand modelsinput model equivalence problem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 2090303
• Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria
• Working with ARMs: Complexity results on atomic representations of Herbrand models
• scientific article; zbMATH DE number 4025636
• scientific article; zbMATH DE number 1762076
• scientific article; zbMATH DE number 2193711
• scientific article; zbMATH DE number 5290157
• scientific article; zbMATH DE number 4196255
• REPRESENTATION OF ATOMIC OPERATORS AND EXTENSION PROBLEMS
• Atomistic and orthoatomistic effect algebras

Cited in

(9)

• Working with ARMs: Complexity results on atomic representations of Herbrand models
• Finding finite Herbrand models
• scientific article; zbMATH DE number 4087075 (Why is no real title available?)
• scientific article; zbMATH DE number 1086676 (Why is no real title available?)
• scientific article; zbMATH DE number 1088201 (Why is no real title available?)
• scientific article; zbMATH DE number 2090303 (Why is no real title available?)
• MACE4 and SEM: a comparison of finite model generators
• Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria
• First-order automatic literal model generation

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 Q4246970)