Resumen: En la resolución pseudobooleana, la estrategia de propagación de unidades más exitosa actualmente es un modo híbrido que combina el esquema literal observado con el método de conteo. Este breve artículo presenta nuevas heurísticas para esta decisión híbrida, que pueden superar drásticamente el método actual en el solucionador RoundingSAT.
Publicado originalmente en export.arxiv.org el 26 de noviembre de 2025.
Ver fuente original
