scientific article; zbMATH DE number 4063058

zbMATH Open0652.03005MaRDI QIDQ3797153FDOQ3797153

Authors: Yu. Matiyasevich 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• A mathematic-physical approach to the satisfiability problem
• A numerical approach to 3-SAT
• Number representation of satisfiability
• scientific article; zbMATH DE number 1737608
• Solving satisfiability in less than \(2^ n\) steps

zbMATH Keywords

resonanceprecipitationconjunctive normal formtruth functionphysical analysisattractive and repulsive forcescreation of the worlddissolved substancespendula

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited In (1)

• Solution of Rota's problem on the order of series-parallel networks

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