Re: [math-fun] Mathematica 11.1 solves 7-11 problem in one hour,

Does anyone know the origin of this problem?

The earliest I've seen is https://ecommons.cornell.edu/bitstream/handle/1813/6333/82-493.pdf dating to 1982. David Gries acknowledges Don Edwards of USNSW (which I think is United States Naval Special Warfare), Dahlgren VA, for bringing the problem to his attention.