Carlos Ansótegui
Carlos Ansótegui
Verified email at diei.udl.cat
Title
Cited by
Cited by
Year
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
3102009
Solving (weighted) partial MaxSAT through satisfiability testing
C Ansótegui, ML Bonet, J Levy
International conference on theory and applications of satisfiability …, 2009
1512009
SAT-based MaxSAT algorithms
C Ansótegui, ML Bonet, J Levy
Artificial Intelligence 196, 77-105, 2013
1292013
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
1082004
The achilles' heel of QBF
C Ansotegui, CP Gomes, B Selman
AAAI 2, 2.1, 2005
952005
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
902012
Model-Based Genetic Algorithms for Algorithm Configuration.
C Ansótegui, Y Malitsky, H Samulowitz, M Sellmann, K Tierney
IJCAI, 733-739, 2015
732015
A New Algorithm for Weighted Partial MaxSAT.
C Ansótegui, ML Bonet, J Levy
AAAI, 2010
672010
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
572006
Measuring the Hardness of SAT Instances.
C Ansótegui, ML Bonet, J Levy, F Manya
AAAI 8, 222-228, 2008
542008
MaxSAT by improved instance-specific algorithm configuration
C Ansótegui, J Gabas, Y Malitsky, M Sellmann
Artificial Intelligence 235, 26-39, 2016
512016
On the structure of industrial SAT instances
C Ansótegui, ML Bonet, J Levy
International Conference on Principles and Practice of Constraint …, 2009
452009
Towards Industrial-Like Random SAT Instances.
C Ansótegui, ML Bonet, J Levy
IJCAI 9, 387-392, 2009
432009
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
412012
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
352015
Solving (Weighted) Partial MaxSAT with ILP.
C Ansótegui, J Gabas
CPAIOR 13, 403-409, 2013
352013
Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem
C Ansótegui, M Bofill, M Palahı, J Suy, M Villaret
Proceedings of the 9th Symposium on Abstraction, Reformulation and …, 2011
352011
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
352003
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
342015
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
342004
The system can't perform the operation now. Try again later.
Articles 1–20