2 citations · 4 across the 12 of their papers we have counts for
1 paper · 2 filters
Anatoly D. Plotnikov
We study the non-canonical method for solving the Satisfiability problem which given by a formula in the form of the conjunctive normal form. The essence of this method consists in…