Este artículo presenta un algoritmo de tiempo lineal para resolver el problema de conteo #2SAT en fórmulas booleanas de dos formas normales conjuntivas (2-CNF) con una estructura específica

On this paper, we present a closed formula to compute the Merrifield-Simmons index on polygonal arrays at distance 1. The proof of our main theorem establishes a method to solve the recurrence

Se presenta un modelo de programación entera para resolver un caso de estudio para el problema de horarios universitarios de la Facultad de Ingeniería de la Universidad Autónoma del Estado