关注
Carlos Ansótegui
Carlos Ansótegui
在 diei.udl.cat 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
4352009
SAT-based MaxSAT algorithms
C Ansótegui, ML Bonet, J Levy
Artificial Intelligence 196, 77-105, 2013
1962013
Solving (weighted) partial MaxSAT through satisfiability testing
C Ansótegui, ML Bonet, J Levy
International conference on theory and applications of satisfiability …, 2009
1942009
Model-Based Genetic Algorithms for Algorithm Configuration.
C Ansótegui, Y Malitsky, H Samulowitz, M Sellmann, K Tierney
IJCAI, 733-739, 2015
1452015
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
1432004
The community structure of SAT formulas
C Ansótegui, J Giráldez-Cru, J Levy
International Conference on Theory and Applications of Satisfiability …, 2012
1302012
The Achilles' heel of QBF
C Ansótegui, CP Gomes, B Selman
AAAI 2, 2.1, 2005
1052005
MaxSAT by improved instance-specific algorithm configuration
C Ansótegui, J Gabas, Y Malitsky, M Sellmann
Artificial Intelligence 235, 26-39, 2016
912016
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
872010
Random SAT instances à la carte
C Ansótegui, ML Bonet, J Levy
Artificial Intelligence Research and Development, 109-117, 2008
782008
On the structure of industrial SAT instances
C Ansótegui, ML Bonet, J Levy
International Conference on Principles and Practice of Constraint …, 2009
772009
Measuring the Hardness of SAT Instances.
C Ansótegui, ML Bonet, J Levy, F Manya
AAAI 8, 222-228, 2008
732008
Improving SAT-based weighted MaxSAT solvers
C Ansótegui, ML Bonet, J Gabas, J Levy
International conference on principles and practice of constraint …, 2012
692012
QBF modeling: Exploiting player symmetry for simplicity and efficiency
A Sabharwal, C Ansotegui, 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, ...
International Foundation for AutonomousAgents and Multiagent Systems, 2018
592018
WPM3: an (in) complete algorithm for weighted partial MaxSAT
C Ansótegui, J Gabàs
Artificial Intelligence 250, 37-57, 2017
572017
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
502015
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
472019
Solving (Weighted) Partial MaxSAT with ILP.
C Ansótegui, J Gabas
CPAIOR 13, 403-409, 2013
472013
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
452011
系统目前无法执行此操作,请稍后再试。
文章 1–20