Davis-Putnam style rules for deciding property S.

MaRDI QIDQ5422264zbMATH OpenFDO

Authors

Publication date 17 October 2007

zbMATH Keywords

bihypergraphcolourabilitysatisfiability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Coloring of graphs and hypergraphs (05C15) Hypergraphs (05C65)

Recommendations

• Property S
• Implementing the Davis-Putnam method
• scientific article; zbMATH DE number 120352
• scientific article; zbMATH DE number 956865
• Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator

Cited in

(2)

• Property S
• Reversed resolution in reducing general satisfiability problem

This page was built for publication: Davis-Putnam style rules for deciding property S.

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