{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T01:58:11Z","timestamp":1772243891152,"version":"3.50.1"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"abstract":"<jats:p>The success of portfolio approaches in SAT solving relies on the observation that different SAT solving techniques perform better on different SAT instances. The Algorithm Selection Problem faces the problem of choosing, using a prediction model, the best algorithm from a predefined set, to solve a particular instance of a problem. Using Machine Learning techniques, this prediction is performed by analyzing some features of the instance and using an empirical hardness model, previously built, to select the expected fastest algorithm to solve such instance.<\/jats:p>","DOI":"10.3233\/978-1-61499-578-4-163","type":"book-chapter","created":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T06:58:24Z","timestamp":1740380304000},"source":"Crossref","is-referenced-by-count":0,"title":["On the Classification of Industrial SAT Families"],"prefix":"10.3233","author":[{"family":"Ans&oacute;tegui Carlos","sequence":"additional","affiliation":[]},{"family":"Bonet Maria Luisa","sequence":"additional","affiliation":[]},{"family":"Gir&aacute;ldez-Cru Jes&uacute;s","sequence":"additional","affiliation":[]},{"family":"Levy 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-24T07:13:03Z","timestamp":1740381183000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISBN&isbn=978-1-61499-577-7&spage=163&doi=10.3233\/978-1-61499-578-4-163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-578-4-163","relation":{"is-cited-by":[{"id-type":"doi","id":"10.1007\/978-3-030-80223-3_13","asserted-by":"object"}]},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2015]]}}}