المؤلفون: Alòs, Josep, Ansótegui Gil, Carlos José, Salvia Hornos, Josep M., Torres, Eduard

مصطلحات موضوعية: Maximum satisfiability, Maxsat evaluation, Automatic configuration

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

الاتاحة: https://doi.org/10.4230/LIPIcs.CP.2023.7
https://repositori.udl.cat/handle/10459.1/464574

المؤلفون: Josep Alòs and Carlos Ansótegui and Josep M. Salvia and Eduard Torres, Alòs, Josep, Ansótegui, Carlos, Salvia, Josep M., Torres, Eduard

مصطلحات الفهرس: maximum satisfiability, maxsat evaluation, automatic configuration, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.7
Is Part Of LIPIcs, Volume 280, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)