Generalized Davis-Putnam and satisfiability problems in mathematics

DOI10.1093/JIGPAL/JZP053MaRDI QIDQ3577911zbMATH OpenOpenAlexFDO

Authors Robert Cowen

Publication date 26 July 2010

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzp053

zbMATH Keywords

Davis-Putnam proceduresatisfiability

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Generalized satisfiability problems via operator assignments
• Generalized satisfiability problems via operator assignments
• scientific article; zbMATH DE number 1099516
• Generalizing DPLL and satisfiability for equalities
• scientific article; zbMATH DE number 2243377
• Logic for Programming, Artificial Intelligence, and Reasoning
• Satisfiability modulo theories and assignments
• Generalized Modal Satisfiability
• Generalized modal satisfiability
• Logical compactness and constraint satisfaction problems

Cited in

(1)

• Generalized satisfiability problems via operator assignments

This page was built for publication: Generalized Davis-Putnam and satisfiability problems in mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3577911)