El conteo de modelos sobre fórmulas booleanas es el problema conocido como #SAT, el cual forma parte de los problemas catalogados como #P-Completos. #2SAT es una restricción a #SAT, donde las cláusulas que componen una ...

Polygonal array graphs have been widely investigated, and they represent a relevant area of interest in mathematical chemistry because they have been used to study intrinsic properties of molecular graphs. For example, to ...

Actualmente, el uso de las imágenes médicas tiene impacto en el área clínica, gracias a que el desarrollo científico y tecnológico permite a los médicos hacer un análisis y diagnóstico para distintas patologías del cerebro ...