scientific article; zbMATH DE number 1301755
From MaRDI portal
Publication:4246970
zbMath0929.03021MaRDI QIDQ4246970
Publication date: 25 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decision problemsHerbrand modelsautomated deductionefficiency 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)
Related Items
MACE4 and SEM: A Comparison of Finite Model Generators ⋮ Working with ARMs: Complexity results on atomic representations of Herbrand models