CARLOS J.
ANSOTEGUI GIL
CU
Tesis doctoral
-
Complete sat solvers for many-valued cnf formulas 2004
Universitat de Lleida
Tesis dirigidas (2)
-
Contributions to automatic configuration and selection for satisfiability 2021
Universitat de Lleida
PON FARRENY, JOSEP
-
Sat-based approaches for constraint optimization 2016
Universitat de Lleida
Tribunales de tesis (6)
-
Presidente del tribunal
Smt techniques for planning problems 2018Universitat de Girona
Espasa Arxer, Joan
-
Vocal del tribunal
Solving hard industrial combinatorial problems with SAT 2013Universitat Politècnica de Catalunya (UPC)
Abío Roig, Ignasi
-
Secretario del tribunal
Encodings and Benchmarks for MaxSAT Solving 2012Universitat de Lleida
-
Vocal del tribunal
Robustness on resource allocation problems 2011Universitat de Girona
Muñoz Solà, Víctor
-
Vocal del tribunal
Sat-based techniques for combinatorial optimization 2010Universitat Politècnica de Catalunya (UPC)
Asín Acha, Roberto Javier
-
Vocal del tribunal
Towards hybrid methods for solving hard combinatorial optimization problems 2006Universidad Autónoma de Madrid
Dotu Rodríguez, Iván Javier