$k$-QSAT instances given by local projectors, their satisfying space, and satisfiability

Initializing...

$k$-QSAT instances given by local projectors, their satisfying space, and satisfiability · Prove2Me