"Steiner systems and the Boolean satisfiability problem."

Stephen J. Hartley (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics