Reactive dialectic search portfolios for MaxSAT
- Carlos Ansótegui
- Josep Pon
- et al.
- 2017
- AAAI 2017
Publications
Date
Featured collections
Popular topics
9 results for Meinolf Sellmann
MaxSAT by improved instance-specific algorithm configuration
- Carlos Ansótegui
- Yuri Malitsky
- et al.
- 2014
- AAAI 2014
Parallel restarted search
- Andre A. Cire
- Serdar Kadioglu
- et al.
- 2014
- AAAI 2014
Non-Model-Based Search Guidance for Set Partitioning Problems
- Serdar Kadioglu
- Yuri Malitsky
- et al.
- 2012
- AAAI 2012
A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT
- Siddhartha Jain
- Ashish Sabharwal
- et al.
- 2011
- AAAI 2011
Model-based genetic algorithms for algorithm configuration
- Carlos Ansótegui
- Yuri Malitsky
- et al.
- 2015
- IJCAI 2015
Predisaster preparation of transportation networks
- Hermann Schichl
- Meinolf Sellmann
- 2015
- AAAI/IAAI 2015
Algorithm portfolios based on cost-sensitive hierarchical clustering
- Yuri Malitsky
- Ashish Sabharwal
- et al.
- 2013
- IJCAI 2013
MaxSAT by improved instance-specific algorithm configuration
- Carlos Ansótegui
- Joel Gabàs
- et al.
- 2016
- Artificial Intelligence