William Millilaw

I+D de solucionador multipipeline; la prueba de rigidez SAT en halo

Llevó a cabo una densa campaña de dos semanas en 2026 que enfrentó al puzzle con el arsenal moderno en una sola máquina: colocación en serpiente, búsqueda local adaptativa, SAT y MaxSAT, un solucionador de restricciones, un transformador generativo, templado paralelo, cruce por partición. La mayor parte la redactó como refutaciones, resultados negativos registrados para que otros no tengan que repetirlos. Dos de sus hallazgos afinan la imagen que la comunidad tiene del techo: una prueba de congelación por réplica que muestra que las raíces de los mejores tableros regresan a las mismas casillas cuando se las perturba, y una prueba de residuo SAT en halo que muestra que los tableros récord son óptimos locales estrictos. Este wiki reproduce la segunda sobre tableros públicos.