SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

Miquel Bofill; Jordi Coll; Josep Suy; Felix Ulrich-Oltean; Mateu Villaret; Peter Nightingale

doi:10.1016/j.artint.2021.103604

Article Dans Une Revue Artificial Intelligence Année : 2022

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

(1) , (2) , , , ,

1
2

Miquel Bofill

Fonction : Auteur
PersonId : 818026
ORCID : 0000-0003-0308-9867

Universitat de Girona

Jordi Coll

Fonction : Auteur

COntraintes, ALgorithmes et Applications

Josep Suy

Fonction : Auteur

Felix Ulrich-Oltean

Fonction : Auteur

Mateu Villaret

Fonction : Auteur

Peter Nightingale

Fonction : Auteur

Domaines

Intelligence artificielle [cs.AI]

Fichier principal

S0004370221001557.pdf (1.38 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

Accord Elsevier CCSD : Connectez-vous pour contacter le contributeur

https://amu.hal.science/hal-03475301

Soumis le : lundi 16 octobre 2023-13:31:26

Dernière modification le : vendredi 22 mars 2024-18:24:04

Archivage à long terme le : mercredi 17 janvier 2024-20:22:55

Dates et versions

hal-03475301 , version 1 (16-10-2023)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

HAL Id : hal-03475301 , version 1
DOI : 10.1016/j.artint.2021.103604
PII : S0004-3702(21)00155-7

Citer

Miquel Bofill, Jordi Coll, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret, et al.. SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artificial Intelligence, 2022, 302, pp.103604. ⟨10.1016/j.artint.2021.103604⟩. ⟨hal-03475301⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU LIS-LAB INCIAM

24 Consultations

3 Téléchargements

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Altmetric

Partager