A solution of size
Coding theorists at UCC have since then computed a solution of size 112. This solution was obtained using a greedy algorithm. I have understood that the authors of the original paper have also found such a solution. (Private communication).
I
have managed to find the solution of size
Here then is the solution of size 112
Mike Codish reports a new solution with 128 words. This was included in Dan C Tuplan’s PhD thesis ( [tulpan2006effective]).
M. Codish, M. Frank, and V. Lagoon also found a solution with 128 words using a SAT solver and a clustering technique. This work was presented at ModRef 2016 workshop [codishWordDesign].
The solution file provided by Mike Codish can be found here
File | Type | Notes |
---|---|---|
length_112.md | md |
A solution of size 112 |
length_118.md | md |
A solution of size 118 found using BDD/SAT methods by Vitaly Lagoon. |
length_128.md | md |
A solution of size 128 |