scientific article; zbMATH DE number 2219519

MaRDI QIDQ5698259zbMATH OpenFDO

Authors Jigui Sun, Yimin Zhang

Publication date 27 October 2005

zbMATH Keywords

SATfirst-order logicmodel generationsatisfiability

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Satisfiability solving and model generation for quantified first-order logic formulas
• scientific article; zbMATH DE number 2165692
• Bounded model generation for Isabelle/HOL
• scientific article; zbMATH DE number 1903356
• Reducing symmetries to generate easier SAT instances

Cited in

(6)

• MACE4 and SEM: a comparison of finite model generators
• Presenting Herbrand models with linguistically motivated techniques
• On First-Order Model-Based Reasoning
• scientific article; zbMATH DE number 2090099 (Why is no real title available?)
• Bounded model generation for Isabelle/HOL
• Satisfiability solving and model generation for quantified first-order logic formulas

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