scientific article; zbMATH DE number 1301755

MaRDI QIDQ4246970zbMATH OpenFDO

Authors Reinhard Pichler

Publication date 25 January 2000

zbMATH Keywords

automated deductiondecision problemsHerbrand modelsefficiency of algorithmsclause evaluation probleminput model equivalence problem

Mathematics Subject Classification ID

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

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

(6)

• Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria
• scientific article; zbMATH DE number 4087075 (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
• Finding finite Herbrand models
• Working with ARMs: Complexity results on atomic representations of Herbrand models

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)