scientific article; zbMATH DE number 2219519

zbMATH Open1076.03523MaRDI QIDQ5698259FDOQ5698259

Authors: Jigui Sun, Yimin Zhang 

Publication date: 27 October 2005

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

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

zbMATH Keywords

SATfirst-order logicmodel generationsatisfiability

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (6)

• Presenting Herbrand models with linguistically motivated techniques
• Title not available (Why is that?)
• On First-Order Model-Based Reasoning
• MACE4 and SEM: a comparison of finite model generators
• 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)