Reactive dialectic search portfolios for MaxSAT
- Carlos Ansótegui
- Josep Pon
- et al.
- 2017
- AAAI 2017
Publications
Date
Featured collections
Popular topics
4 results for Carlos Ansótegui
MaxSAT by improved instance-specific algorithm configuration
- Carlos Ansótegui
- Yuri Malitsky
- et al.
- 2014
- AAAI 2014
Model-based genetic algorithms for algorithm configuration
- Carlos Ansótegui
- Yuri Malitsky
- et al.
- 2015
- IJCAI 2015
MaxSAT by improved instance-specific algorithm configuration
- Carlos Ansótegui
- Joel Gabàs
- et al.
- 2016
- Artificial Intelligence