Vol-2704⫷ Vol-2705 ⫸Vol-2706
urn:nbn:de:0074-2705-0


Vol-2705/short3⫷Vol-2705/paper1⫸Vol-2705/short4

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