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)

Full work available at URL https://doi.org/10.1007/BF02362267

zbMATH Keywords

alternatives theoremdiscrete optimizationimplicit enumerationinterpretation of propositional variables by real numberspropositional formulas represented by real-valued matricessolvability of linear algebraic systemssystems of linear inequalitiesunsatisfiability

Mathematics Subject Classification ID

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

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

(5)

• The solvability of linear systems and the satisfiability
• On the satisfiability of linear systems of equations for quantifiers
• SAT as a programming environment for linear algebra
• scientific article; zbMATH DE number 4063058 (Why is no real title available?)
• scientific article; zbMATH DE number 782033 (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)