scientific article; zbMATH DE number 1301755
From MaRDI portal
Publication:4246970
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
automated deductiondecision problemsHerbrand modelsefficiency of algorithmsclause evaluation probleminput model equivalence problem
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)