• 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 obert
      Adaptive 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 obert
      El 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 ...