scientific article; zbMATH DE number 1748573

zbMATH Open0996.03006MaRDI QIDQ4530458FDOQ4530458

Authors: Ricardo Caferra, Nicolas Peltier 

Publication date: 4 November 2002

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

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

zbMATH Keywords

constraintsconnection methodsimultaneous search for refutations and modelsdisinference rules

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (6)

• Model generation with Boolean constraints
• Title not available (Why is that?)
• Title not available (Why is that?)
• A method for simultaneous search for refutations and models by equational constraint solving
• Connection tableau calculi with disjunctive contraints (TU München)
• Title not available (Why is that?)

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)