1 paper · 1 filter
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…