Number representation of satisfiability

DOI10.1007/BF02362267MaRDI QIDQ1977919zbMATH OpenFDO

Authors G. V. Davydov, I. M. Davydova

Publication date 6 June 2000

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

zbMATH Keywords

implicit enumerationdiscrete optimizationsystems of linear inequalitiesunsatisfiabilityalternatives theoreminterpretation of propositional variables by real numberspropositional formulas represented by real-valued matricessolvability of linear algebraic systems

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35)

Recommendations

• The solvability of linear systems and the satisfiability
• Solving propositional satisfiability problems
• scientific article; zbMATH DE number 7300404
• scientific article; zbMATH DE number 1036758

Cites work

• scientific article; zbMATH DE number 4016553 (Why is no real title available?)
• scientific article; zbMATH DE number 3174052 (Why is no real title available?)
• scientific article; zbMATH DE number 4045489 (Why is no real title available?)
• scientific article; zbMATH DE number 4059125 (Why is no real title available?)
• scientific article; zbMATH DE number 4123497 (Why is no real title available?)
• scientific article; zbMATH DE number 850295 (Why is no real title available?)
• scientific article; zbMATH DE number 3272723 (Why is no real title available?)
• scientific article; zbMATH DE number 3359808 (Why is no real title available?)
• scientific article; zbMATH DE number 3185418 (Why is no real title available?)
• Refutations by Matings
• Solvable matrices
• Tautologies and positive solvability of linear homogeneous systems
• The solvability of linear systems and the satisfiability

Cited in

(3)

• SAT as a programming environment for linear algebra
• scientific article; zbMATH DE number 782033 (Why is no real title available?)
• scientific article; zbMATH DE number 4063058 (Why is no real title available?)

This page was built for publication: Number representation of satisfiability

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