1. Inici
  2. Universitat Autònoma de Barcelona
  3. Departament d'Informàtica
  4. Visualitzant Departament d'Informàtica per autor/a

Visualitzant Departament d'Informàtica per autor/a "Béjar Torres, Ramón"

Ara mostrant els elements 1-1 de 1

    Systematic and local search algorithms for regular-SAT 

    Béjar Torres, Ramón (Data de defensa: 2000-12-21)