Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Exploiting Configurations of MaxSAT Solvers

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • بيانات النشر:
      Roland H. C. Yap
    • الموضوع:
      2023
    • Collection:
      Universitat de Lleida: Repositori Obert UdL
    • نبذة مختصرة :
      In this paper, we describe how we can effectively exploit alternative parameter configurations to a MaxSAT solver. We describe how these configurations can be computed in the context of MaxSAT. In particular, we experimentally show how to easily combine configurations of a non-competitive solver to obtain a better solving approach. ; This work was supported by MCIN/AEI/10.13039/501100011033 (Grant: PID2019- 109137GB-C21), Agencia de Gestio d’Ajuts Universitaris i de Recerca (AGAUR), Departament d’Empresa i Coneixement de la Generalitat de Catalunya (Grant: 2022 FI_B 00010)
    • ISBN:
      978-3-95977-300-3
      3-95977-300-5
    • Relation:
      info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-109137GB-C21/ES/SISTEMAS DE DEMOSTRACION PRACTICOS MAS ALLA DE RESOLUCION/; Reproducció del document publicat a https://doi.org/10.4230/LIPIcs.CP.2023.7; In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Leibniz International Proceedings in Informatics (LIPIcs), vol. 280, p. 7:1-7:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik; https://doi.org/10.4230/LIPIcs.CP.2023.7; https://repositori.udl.cat/handle/10459.1/464574
    • الرقم المعرف:
      10.4230/LIPIcs.CP.2023.7
    • Rights:
      cc-by (c) Josep Alòs et al., 2023 ; Attribution 4.0 International ; info:eu-repo/semantics/openAccess ; http://creativecommons.org/licenses/by/4.0/
    • الرقم المعرف:
      edsbas.E7737512