OKullmann/oklibrary — pull request #277 by MGwynne (2011-10-12 21:25:41+00:00)
Title: Discussing how to compute minimum 1-bases via translation to SAT.

Branch: 1base_encoding.

Added todo on translating the problem of finding a 1-base of size k into SAT.

Matthew