scientific article; zbMATH DE number 1301755

zbMATH Open0929.03021MaRDI QIDQ4246970FDOQ4246970

Authors: Reinhard Pichler 

Publication date: 25 January 2000

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

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

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)

Cited In (6)

• Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)