Multilevel descriptions of classes decreasing the number of steps in solving pattern recognition problems described by propositional formulas

DOI10.3103/S1063454108010056zbMath1328.68184OpenAlexW1998375050MaRDI QIDQ946041

Tat'yana Matveevna Kosovskaya

Publication date: 22 September 2008

Published in: Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s1063454108010056

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Pattern recognition, speech recognition (68T10)

Cites Work

• Solving satisfiability in less than \(2^ n\) steps
• On the complexity of finding emerging patterns

This page was built for publication: Multilevel descriptions of classes decreasing the number of steps in solving pattern recognition problems described by propositional formulas