scientific article; zbMATH DE number 1748573

MaRDI QIDQ4530458zbMATHFDO

Authors Ricardo Caferra, Nicolas Peltier

Publication date 4 November 2002

zbMATH Keywords

constraintsconnection methodsimultaneous search for refutations and modelsdisinference rules

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 549974
• Connection tableau calculi with disjunctive contraints (TU München)
• A method for simultaneous search for refutations and models by equational constraint solving
• Automated model building
• A method for building models automatically. Experiments with an extension of OTTER

Cited in

(7)

• Simplifying and generalizing formulae in tableaux. Pruning the search space and building models
• A method for simultaneous search for refutations and models by equational constraint solving
• Connection tableau calculi with disjunctive contraints (TU München)
• scientific article; zbMATH DE number 67453 (Why is no real title available?)
• Model generation with Boolean constraints
• scientific article; zbMATH DE number 3992946 (Why is no real title available?)
• scientific article; zbMATH DE number 549993 (Why is no real title available?)

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