scientific article; zbMATH DE number 1098495

MaRDI QIDQ4372940zbMATH OpenFDO

Authors Kazimir Majorinc

Publication date 27 January 1998

zbMATH Keywords

satisfiability testingVan Gelder's algorithm

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A satisfiability tester for non-clausal propositional calculus
• scientific article; zbMATH DE number 3870637
• Algorithms for testing the satisfiability of propositional formulae
• scientific article; zbMATH DE number 956865

Cited in

(7)

• A satisfiability tester for non-clausal propositional calculus
• Theorem proving decomposition algorithm based on semi-extension rule
• Analysis of a new reduction calculus for the satisfiability problem
• Van Gelder's response
• scientific article; zbMATH DE number 1538056 (Why is no real title available?)
• scientific article; zbMATH DE number 7267155 (Why is no real title available?)
• A new 3-CNF transformation by parallel-serial graphs

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