Menú

Listar por materia "Graph Decomposition"

Ordenar por:Orden:Resultados:

  • A Bottom-Up Algorithm for Solving #2Sat 
    De Ita, Guillermo; Marcial Romero, J. Raymundo; Hernández Servín, J. A. (LOGIC JOURNAL OF THE IGPL, 2019-08-01)
  • A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas 
    LOPEZ MEDINA, MARCO ANTONIO; MARCIAL ROMERO, JOSE RAYMUNDO; DE ITA LUNA, GUILLERMO; Hernández Servín, José Antonio (Martínez-Villaseñor L., Herrera-Alcántara O., Ponce H., Castro-Espinoza F.A., 2020)
    An O(m + n) time algorithm is presented for counting the number of models of a two Conjunctive Normal Form Boolean Formula whose constrained graph is represented by a Series-Parallel graph, where n is the number of variables ...
  • Applied Radiation and Isotopes Monte Carlo Verification of Output Correction Factors for a TrueBeam STx linac 
    HERNANDEZ BECERRIL, MARIO ALBERTO; LARRAGA GUTIERREZ, JOSE MANUEL; SALDIVAR MARQUEZ, MARTHA BELEM; Hernández Servín, José Antonio (Instituto de Neurologia, 2020-12-01)
    The recent publication of the new code of practice IEAA/AAPM TRS-483 introduces the use of output correction factors to correct the changes in detector response in relative dosimetry of small photon beams. In TRS-483, ...

Buscar en RI

Buscar en RI

Usuario