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