Skip to content

Steiner systems and the Boolean satisfiability problem.

Stephen J. Hartley

Year1996
ProceedingsSAC

Browse the full SAC paper archive.