Browsing Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014) by Subject "65"

Now showing items 1-2 of 2

Exploration of customer churn routes using machine learning probabilistic models

Garcia Gomez, David (Date of defense: 2014-04-10)

The ongoing processes of globalization and deregulation are changing the competitive framework in the majority of economic sectors. The appearance of new competitors and technologies entails a sharp increase in competition ...

Solving hard industrial combinatorial problems with SAT

Abío Roig, Ignasi (Date of defense: 2013-05-15)

The topic of this thesis is the development of SAT-based techniques and tools for solving industrial combinatorial problems. First, it describes the architecture of state-of-the-art SAT and SMT Solvers based on the classical ...