{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T05:27:45Z","timestamp":1740461265932,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3233\/978-1-60750-842-7-31","type":"book-chapter","created":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T11:58:24Z","timestamp":1740398304000},"source":"Crossref","is-referenced-by-count":0,"title":["Experimenting with the Instances of the MaxSAT Evaluation"],"prefix":"10.3233","author":[{"family":"Argelich Josep","sequence":"additional","affiliation":[]},{"family":"Li Chu Min","sequence":"additional","affiliation":[]},{"family":"Many&agrave; Felip","sequence":"additional","affiliation":[]},{"family":"Planes Jordi","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Artificial Intelligence Research and Development"],"original-title":[],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T12:07:43Z","timestamp":1740398863000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=0922-6389&volume=232&spage=31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-60750-842-7-31","relation":{},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2011]]}}}