CARLOS J.
ANSOTEGUI GIL
CU
Thesis
-
Complete sat solvers for many-valued cnf formulas 2004
Universitat de Lleida
Supervised Theses (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
Theses Committees (6)
-
Chair of the Committee
Smt techniques for planning problems 2018Universitat de Girona
Espasa Arxer, Joan
-
Committee Member
Solving hard industrial combinatorial problems with SAT 2013Universitat Politècnica de Catalunya (UPC)
Abío Roig, Ignasi
-
Secretary of the Committee
Encodings and Benchmarks for MaxSAT Solving 2012Universitat de Lleida
-
Committee Member
Robustness on resource allocation problems 2011Universitat de Girona
Muñoz Solà, Víctor
-
Committee Member
Sat-based techniques for combinatorial optimization 2010Universitat Politècnica de Catalunya (UPC)
Asín Acha, Roberto Javier
-
Committee Member
Towards hybrid methods for solving hard combinatorial optimization problems 2006Universidad Autónoma de Madrid
Dotu Rodríguez, Iván Javier