Suivre
Carlos Ansótegui
Carlos Ansótegui
Adresse e-mail validée de diei.udl.cat - Page d'accueil
Titre
Citée par
Citée par
Année
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
4272009
Solving (weighted) partial MaxSAT through satisfiability testing
C Ansótegui, ML Bonet, J Levy
International conference on theory and applications of satisfiability …, 2009
1912009
SAT-based MaxSAT algorithms
C Ansótegui, ML Bonet, J Levy
Artificial Intelligence 196, 77-105, 2013
1862013
Model-Based Genetic Algorithms for Algorithm Configuration.
C Ansótegui, Y Malitsky, H Samulowitz, M Sellmann, K Tierney
IJCAI, 733-739, 2015
1412015
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
1392004
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
1282012
The Achilles' heel of QBF
C Ansótegui, CP Gomes, B Selman
AAAI 2, 2.1, 2005
1032005
MaxSAT by improved instance-specific algorithm configuration
C Ansótegui, J Gabas, Y Malitsky, M Sellmann
Artificial Intelligence 235, 26-39, 2016
862016
A new algorithm for weighted partial MaxSAT
C Ansótegui, ML Bonet, J Levy
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 3-8, 2010
862010
Random SAT instances à la carte
C Ansótegui, ML Bonet, J Levy
Artificial Intelligence Research and Development, 109-117, 2008
762008
On the structure of industrial SAT instances
C Ansótegui, ML Bonet, J Levy
International Conference on Principles and Practice of Constraint …, 2009
742009
Measuring the Hardness of SAT Instances.
C Ansótegui, ML Bonet, J Levy, F Manya
AAAI 8, 222-228, 2008
692008
Improving SAT-based weighted MaxSAT solvers
C Ansótegui, ML Bonet, J Gabas, J Levy
International conference on principles and practice of constraint …, 2012
682012
QBF modeling: Exploiting player symmetry for simplicity and efficiency
A Sabharwal, C Ansótegui, CP Gomes, JW Hart, B Selman
Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006
622006
Moral values in norm decision making
M Serramia, M Lopez-Sanchez, JA Rodriguez-Aguilar, M Rodriguez, ...
Autonomous Agents and Multi-Agent Systems (AAMAS 2018), 2018
572018
WPM3: an (in) complete algorithm for weighted partial MaxSAT
C Ansótegui, J Gabàs
Artificial Intelligence 250, 37-57, 2017
542017
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
492015
Solving (Weighted) Partial MaxSAT with ILP.
C Ansótegui, J Gabas
CPAIOR 13, 403-409, 2013
472013
Community structure in industrial SAT instances
C Ansótegui, ML Bonet, J Giráldez-Cru, J Levy, L Simon
Journal of Artificial Intelligence Research 66, 443-472, 2019
462019
Using community structure to detect relevant learnt clauses
C Ansótegui, J Giráldez-Cru, J Levy, L Simon
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
452015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20