Publications

9 results for Meinolf Sellmann

Reactive dialectic search portfolios for MaxSAT
- - Carlos Ansótegui
  - Josep Pon
  - et al.
- 2017
- AAAI 2017
MaxSAT by improved instance-specific algorithm configuration
- - Carlos Ansótegui
  - Joel Gabàs
  - et al.
- 2016
- Artificial Intelligence
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
Parallel restarted search
- - Andre A. Cire
  - Serdar Kadioglu
  - et al.
- 2014
- AAAI 2014
MaxSAT by improved instance-specific algorithm configuration
- - Carlos Ansótegui
  - Yuri Malitsky
  - et al.
- 2014
- AAAI 2014
Algorithm portfolios based on cost-sensitive hierarchical clustering
- - Yuri Malitsky
  - Ashish Sabharwal
  - et al.
- 2013
- IJCAI 2013
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