scientific article
From MaRDI portal
Publication:3777498
zbMath0637.68107MaRDI QIDQ3777498
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Об одном методе построения следствий специального вида для систем булевых уравнений;On a method to construct special type corollaries for systems of Boolean equations ⋮ Separating signs in the propositional satisfiability problem ⋮ О весах булевых функций, представимых в виде $2$-КНФ или $3$-КНФ
This page was built for publication:
