Carlos Ansótegui
Carlos Ansótegui
Dirección de correo verificada de diei.udl.cat
TítuloCitado porAño
A gender-based genetic algorithm for the automatic configuration of algorithms
C Ansótegui, M Sellmann, K Tierney
International Conference on Principles and Practice of Constraint …, 2009
2732009
Solving (weighted) partial MaxSAT through satisfiability testing
C Ansótegui, ML Bonet, J Levy
International conference on theory and applications of satisfiability …, 2009
1402009
SAT-based MaxSAT algorithms
C Ansótegui, ML Bonet, J Levy
Artificial Intelligence 196, 77-105, 2013
1112013
Mapping problems with finite-domain variables to problems with boolean variables
C Ansótegui, F Manya
International conference on theory and applications of satisfiability …, 2004
1002004
The achilles' heel of QBF
C Ansotegui, CP Gomes, B Selman
AAAI 2, 2.1, 2005
872005
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
792012
A new algorithm for weighted partial MaxSAT
C Ansótegui, ML Bonet, J Levy
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
652010
QBF modeling: Exploiting player symmetry for simplicity and efficiency
A Sabharwal, C Ansotegui, CP Gomes, JW Hart, B Selman
International Conference on Theory and Applications of Satisfiability …, 2006
552006
Model-based genetic algorithms for algorithm configuration
C Ansótegui, Y Malitsky, H Samulowitz, M Sellmann, K Tierney
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
502015
Measuring the Hardness of SAT Instances.
C Ansótegui, ML Bonet, J Levy, F Manya
AAAI 8, 222-228, 2008
452008
MaxSAT by improved instance-specific algorithm configuration
C Ansótegui, J Gabas, Y Malitsky, M Sellmann
Artificial Intelligence 235, 26-39, 2016
422016
On the structure of industrial SAT instances
C Ansótegui, ML Bonet, J Levy
International Conference on Principles and Practice of Constraint …, 2009
392009
Towards industrial-like random SAT instances
C Ansótegui, ML Bonet, J Levy
Twenty-First International Joint Conference on Artificial Intelligence, 2009
382009
Improving SAT-based weighted MaxSAT solvers
C Ansótegui, ML Bonet, J Gabàs, J Levy
International conference on principles and practice of constraint …, 2012
362012
Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem
C Ansótegui, M Bofill, M Palahí, J Suy, M Villaret
Ninth Symposium of Abstraction, Reformulation, and Approximation, 2011
342011
Solving (Weighted) Partial MaxSAT with ILP.
C Ansótegui, J Gabas
CPAIOR 13, 403-409, 2013
332013
Modeling choices in quasigroup completion: SAT vs. CSP
C Ansótegui, A del Val, I Dotú, C Fernández, F Manyà
AAAI, 137-142, 2004
332004
Automated monitoring of medical protocols: a secure and distributed architecture
T Alsinet, C Ansótegui, R Béjar, C Fernández, F Manyà
Artificial Intelligence in Medicine 27 (3), 367-392, 2003
322003
Using community structure to detect relevant learnt clauses
C Ansótegui, J Giráldez-Cru, J Levy, L Simon
International Conference on Theory and Applications of Satisfiability …, 2015
282015
Exploiting the structure of unsatisfiable cores in MaxSAT
C Ansótegui, F Didier, J Gabàs
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
282015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20