The Impact of Implied Constraints on MaxSAT B2B Instances
dc.contributor.author
dc.date.accessioned
2022-09-21T11:49:28Z
dc.date.available
2022-09-21T11:49:28Z
dc.date.issued
2022-08-11
dc.identifier.uri
dc.description.abstract
The B2B scheduling optimization problem consists of finding a schedule of a set of meetings between pairs of participants, minimizing their number of idle time periods. Recent works have shown that SAT-based approaches are state-of-the-art on this problem. One interesting feature of such approaches is the use of implied constraints. In this work, we provide an experimental setting to study the impact of using these implied constraints in MaxSAT B2B instances. To this purpose and due to the reduced number of existing real-world B2B instances, we propose a random B2B instance generation model, which reproduces certain features of these problems. In our experimental analysis, we show that the impact of using some implied constraints in the MaxSAT encodings depends on the characteristics of the problem, and we also analyze the benefits of combining them. Finally, we give some insights on how a MaxSAT solver is able to exploit these implied constraint
dc.description.sponsorship
Miquel Bofill, Josep Suy and Mateu Villaret are partially funded by grant RTI2018-095609-B-I00 (MICINN/FEDER, UE). Jordi Coll is partially funded by the French Agence Nationale de la Recherche, reference ANR-19-CHIA-0013-01. Jesús Giráldez-Cru is supported through the Juan de la Cierva program, fellowship IJC2019-040489-I, funded by MCIN and AEI
dc.format.mimetype
application/pdf
dc.language.iso
eng
dc.publisher
Springer
dc.relation
RTI2018-095609-B-I00
dc.relation.isformatof
Reproducció digital del document publicat a: https://doi.org/10.1007/s44196-022-00121-5
dc.relation.ispartof
International Journal of Computational Intelligence Systems, 2022, vol. 15, art.núm. 63
dc.relation.ispartofseries
Articles publicats (D-IMA)
dc.rights
Attribution 4.0 International
dc.rights.uri
dc.subject
dc.title
The Impact of Implied Constraints on MaxSAT B2B Instances
dc.type
info:eu-repo/semantics/article
dc.rights.accessRights
info:eu-repo/semantics/openAccess
dc.relation.projectID
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-095609-B-I00/ES/SATISFACTIBILIDAD PARA PROGRAMACION DE TAREAS, PLANIFICACION Y OPTIMIZACION/
dc.type.version
info:eu-repo/semantics/publishedVersion
dc.identifier.doi
dc.identifier.idgrec
035553
dc.contributor.funder
dc.type.peerreviewed
peer-reviewed
dc.relation.FundingProgramme
dc.relation.ProjectAcronym
dc.identifier.eissn
1875-6883