scientific article; zbMATH DE number 1418449

zbMATH Open0958.03008MaRDI QIDQ4942004FDOQ4942004

Authors: Alexander Leitsch 

Publication date: 19 March 2001

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

Recommendations

• Resolution decision procedures
• scientific article; zbMATH DE number 19146
• An overview of resolution decision procedures
• Resolution methods for the decision problem
• scientific article; zbMATH DE number 976360

zbMATH Keywords

automated deductiondecision procedureresolution principledecision problemhyperresolution

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Cited In (13)

• From decision problems to dethroned dictators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Resolution methods for the decision problem
• Defining answer classes using resolution refutation
• Automated deduction by theory resolution
• Principles and Practice of Constraint Programming – CP 2003
• Resolution theorem proving
• An overview of resolution decision procedures
• Resolution decision procedures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decision tactics for derivation search in the resolution method

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 Q4942004)