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