IA4 min read
Inteligencia Artificial
Antes de pedirle a una IA que piense, prueba a limpiar primero su entrada
Investigadores del CRIL demuestran que las técnicas de preprocesamiento que preservan los conteos de modelos aceleran drásticamente el muestreo de modelos, la enumeración y las consultas de acceso directo cuando las fórmulas se compilan en circuitos d-DNNF. El estudio prueba 1425 puntos de referencia y muestra que eliminar variables definidas con ordenaciones compatibles resuelve hasta 47 instancias más que sin preprocesamiento.
2026-07-29