Predicción del núcleo de insatisfacibilidad mediante aprendizaje de representaciones consciente de la polaridad en hipergrafos de cláusulas y literales
<meta name=description content=Predicción eficiente del núcleo de insatisfacibilidad mediante representaciones que integran la polaridad. Optimiza el análisis de satisfacibilidad en lógica computacional.>