scientific article; zbMATH DE number 140415

MaRDI QIDQ4028828zbMATH OpenFDO

Authors Jeffrey van Baalen

Publication date 28 March 1993

zbMATH Keywords

decision procedure/theorem prover combinationssatisfiability procedures

Mathematics Subject Classification ID

Recommendations

• Formal Methods for Hardware Verification
• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 2090127
• scientific article; zbMATH DE number 3898849
• On Variable-inactivity and Polynomial Formula-Satisfiability Procedures

Cited in

(1)

• DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

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