Exploració per autor "Gabriel Cerna, Pedro Víctor"
Ara es mostren els items 1-2 de 2
-
An adaptive methodology for the improvement of knowledge acquisition by a multimedia web tool
Gabriel Cerna, Pedro Víctor; Pérez Poch, Antoni; Alpiste Penalba, Francesc; Torner Ribé, Jordi (Tempus Publications, 2023-07)
Article
Accés obertAdaptive learning is a method that personalizes the teaching-learning strategies in accordance with the needs and preferences of each student. This article describes the design, the implementation and the tests of a web ... -
Resolvedor SAT, basado en procedimientos Davis-Putnam-Longemann-Loveland
Gabriel Cerna, Pedro Víctor; Nieuwenhuis, Robert Lukas Mario (2007-01)
Report de recerca
Accés obertEl problema de satisfación de fórmulas lógicas (SAT), es un problema NP-Hard. Una forma de resolverlo es por medio de procedimientos Davis-Putnam-Longemann-Loveland (DPLL), ahora presentamos una implementación de un ...