Measure of formulas: Calculation and a polynomial class for satisfiability
From MaRDI portal
Publication:1422755
zbMath1038.03519MaRDI QIDQ1422755
Publication date: 25 February 2004
Published in: Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Mechanization of proofs and logical operations (03B35)
Related Items (1)
This page was built for publication: Measure of formulas: Calculation and a polynomial class for satisfiability
