Number representation of satisfiability

DOI10.1007/BF02362267zbMath0946.03014MaRDI QIDQ1977919

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

discrete optimizationsystems of linear inequalitiesimplicit enumerationunsatisfiabilityalternatives theoreminterpretation of propositional variables by real numberspropositional formulas represented by real-valued matricessolvability of linear algebraic systems

Mathematics Subject Classification ID

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

Cites Work

• Tautologies and positive solvability of linear homogeneous systems
• The solvability of linear systems and the satisfiability
• Solvable matrices
• Refutations by Matings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Number representation of satisfiability