Documento 1 — Validación empírica del solver DPLL estructuralmente consciente (MI*)

Documento 1 del Corpus Ignaciano. Presenta la validación empírica de MI\*, un solver DPLL estructuralmente consciente que penaliza la degradación del Treewidth residual. Demuestra que la gestión explícita de la estructura mejora el rendimiento real, la estabilidad y la eficiencia, confirmando la hipótesis de Súper-Eficiencia Local (HAE) dentro del marco del Axioma Cian.