Search
 
loader loading subjects...
cover
Experimenting with the Instances of the MaxSAT Evaluation
Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
31 - 40
10.3233/978-1-60750-842-7-31
Frontiers in Artificial Intelligence and Applications
Volume 232: Artificial Intelligence Research and Development
Abstract

We report on a number of experiments on the instances of the MaxSAT Evaluation with the aim of gaining new insights into their computational hardness, answering some questions that have been asked to us as organizers, and evaluating how appropriate are the current settings of parameters such as timeout and available RAM memory. The lessons we have learned from the analysis of the empirical results suggest to introduce several modifications in forthcoming evaluations.

$35.00 / €27.50 / £22.00
Add PDF to cart