Resumen: El problema de máxima satisfilidad (MAXSAT) es un desafío de optimización importante con numerosas aplicaciones prácticas. En las recientes evaluaciones de MaxSat, la mayoría de los solucionadores MaxSat han adoptado un solucionador ILP como parte de sus carteras. Este documento investiga el impacto de las técnicas de preprocesamiento de programación lineal entera (ILP) en la resolución de MaxSat. Los resultados experimentales muestran que las técnicas de preprocesamiento de ILP ayudan a WMAXCDCL-OPENWBO1200, el ganador de la Evaluación MaxSat 2024 en la pista no ponderada, resuelve 15 instancias adicionales. Además, los solucionadores maxsat de vanguardia actuales usan en gran medida un solucionador ILP en sus carteras, mientras que nuestro enfoque propuesto reduce la necesidad de llamar a un solucionador ILP en una cartera que incluye wmaxcdcl o maxcdcl.
Publicado Originalme en rss.arxiv.org El 8 de junio de 2025.
Ver Fuente Original
