$k$-SAT under bounded variable occurrence for a finite subfamily of clauses over arbitrary variable and index sets

Initializing...

$k$-SAT under bounded variable occurrence for a finite subfamily of clauses over arbitrary variable and index sets · Prove2Me