Browsing by Autor "Guillermo De Ita Luna"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item type: Item ,
    Un algoritmo para calcular #2SAT
    (2015) Marco A. López-Medina; J. Raymundo Marcial‐Romero; Guillermo De Ita Luna; José Antonio Hernández Servín
    Resumen. El problema de conteo de modelos en frmulas booleanas pertenece a la clase #P-completo. Por tal motivo, no existe algoritmo qu, de forma eficiente, calcule el nmero exacto de modelos de una frmula booleana. En este artculo, se presenta una implementacin para contar el nmero de modelos de una frmula booleana basada en su representacin mediante grafo. As mismo se mostrar que, para ciertas topologas del grafo,