Algorithms on atomic representations of Herbrand models

DOI10.1007/3-540-49545-2_14MaRDI QIDQ4246970zbMATH OpenFDO

Authors Reinhard Pichler

Publication date 25 January 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49545-2_14

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?)
• Computational representations of Herbrand models using grammars
• Comparing computational representation of Herbrand models
• 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: Algorithms on atomic representations of Herbrand models

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