1. Inici
  2. Universitat Politècnica de Catalunya
  3. Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014)
  4. Visualitzant Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014) per matèria

Visualitzant Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014) per matèria "519.1"

Ara mostrant els elements 1-1 de 1

    Solving hard industrial combinatorial problems with SAT 

    Abío Roig, Ignasi (Data de defensa: 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 ...