OKullmann/oklibrary — pull request #406 by MGwynne (2012-04-03 14:21:15+00:00)
Title: Genhornhardness

Branch: genhornhardness.

Investigating the size of 1-bases for the satisfiable tree-clause-sets.

Now integrating the plans with the existing investigations, linking to the todos on adding auxilliary function, and linking todos on hardness investigations into the general todo.

This commit has been completely updated to avoid pointless editorial commits. A large portion of the structure of the document changed anyway, and so this shouldn't hurt anything as the commit diff itself would've been hard to read anyway.

Matthew