| Sun, 06 Nov 2011 13:37:49 +0100 | blanchet | cascading timeouts in minimizer | changeset | files |
| Sun, 06 Nov 2011 13:32:13 +0100 | blanchet | shortcut binary minimization algorithm | changeset | files |
| Sun, 06 Nov 2011 11:51:35 +0100 | blanchet | speed up binary minimizer in practice by preferring the first half of the used facts (which are likelier to be relevant) to the second half | changeset | files |