3 citations · 5 across the 6 of their papers we have counts for
1 paper · 2 filters
Grigoriy V. Bokov
This paper is devoted to the complexity of the Boolean satisfiability problem. We consider a version of this problem, where the Boolean formula is specified in the conjunctive norm…