Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K.

Francesco Piro, Mehrnoosh Askarpour, Elisabetta Di Nitto

Browse the full QCE paper archive.