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
3002009
Solving (weighted) partial MaxSAT through satisfiability testing
C Ansótegui, ML Bonet, J Levy
International conference on theory and applications of satisfiability …, 2009
1472009
SAT-based MaxSAT algorithms
C Ansótegui, ML Bonet, J Levy
Artificial Intelligence 196, 77-105, 2013
1242013
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
1042004
The achilles' heel of QBF
C Ansotegui, CP Gomes, B Selman
AAAI 2, 2.1, 2005
922005
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
882012
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
672015
A New Algorithm for Weighted Partial MaxSAT.
C Ansótegui, ML Bonet, J Levy
AAAI, 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
562006
Measuring the Hardness of SAT Instances.
C Ansótegui, ML Bonet, J Levy, F Manya
AAAI 8, 222-228, 2008
502008
MaxSAT by improved instance-specific algorithm configuration
C Ansótegui, J Gabas, Y Malitsky, M Sellmann
Artificial Intelligence 235, 26-39, 2016
482016
On the structure of industrial SAT instances
C Ansótegui, ML Bonet, J Levy
International Conference on Principles and Practice of Constraint …, 2009
442009
Towards Industrial-Like Random SAT Instances.
C Ansótegui, ML Bonet, J Levy
IJCAI 9, 387-392, 2009
422009
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
402012
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
Solving (Weighted) Partial MaxSAT with ILP.
C Ansótegui, J Gabas
CPAIOR 13, 403-409, 2013
342013
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
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
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
312015
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
312015
The system can't perform the operation now. Try again later.
Articles 1–20