RAMON
BEJAR TORRES
TU
Tesis doctoral
-
Systematic and local search algorithms for regular-SAT 2001
Universitat Autònoma de Barcelona
Tesis dirigidas (3)
-
Algorithms and efficient encodings for argumentation frameworks and arithmetic problems 2014
Universitat de Lleida
Guitart Bravo, Francesc Josep
-
Encodings and Benchmarks for MaxSAT Solving 2012
Universitat de Lleida
-
CSP problems as algorithmic benchmarks: measures, methods and models 2009
Universitat de Lleida
Tribunales de tesis (4)
-
Secretario del tribunal
Tourism surveying from social media: the validity of user-generated content (ugc) for the characterization of lodging rankings 2018Universitat de Lleida
-
Vocal del tribunal
Modelado y planificación de aplicaciones de Juegos masivos multijugador en red en entornos distribuidos 2012Universitat de Lleida
Barri Vilardell, Ignasi Oriol
-
Secretario del tribunal
Max-SAT formalisms with hard and soft constraints 2008Universitat de Lleida
-
Secretario del tribunal
Complete sat solvers for many-valued cnf formulas 2004Universitat de Lleida