|
|
|
|
|
|
by smtross
797 days ago
|
|
|
The following should be all the smallest solutions for [7, 5, 3]: 753 7512 34512 3462 34152 3417 357 753 7512 762 7152 34152 3417 357 753 7512 762 3462 34152 3417 357 753 7143 25143 2643 21543 2157 357 753 7143 25143 2643 267 2157 357 753 7143 25143 2517 267 2157 357 Discovered using SAT/SMT |
|
|