scientific article; zbMATH DE number 1696817

MaRDI QIDQ2767083zbMATH OpenFDO

Authors Peter Baumgartner, Fabio Massacci

Publication date 28 January 2002

Mathematics Subject Classification ID

Recommendations

• Conflict-driven XOR-clause learning
• Computer Aided Verification
• DRAT proofs for XOR reasoning
• Extending clause learning DPLL with parity reasoning
• Formal Methods for Hardware Verification

Cited in

(3)

• How to fake an RSA signature by encoding modular root finding as a SAT problem
• On conversions from CNF to ANF
• SAT, gadgets, Max2XOR, and quantum annealers

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