Skip to Main content Skip to Navigation
Journal articles

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

Document type :
Journal articles
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-03475301
Contributor : Djamal Habet Connect in order to contact the contributor
Submitted on : Friday, December 10, 2021 - 5:29:47 PM
Last modification on : Tuesday, January 4, 2022 - 6:36:55 AM

Links full text

Identifiers

Collections

Citation

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, Elsevier, 2022, 302, pp.103604. ⟨10.1016/j.artint.2021.103604⟩. ⟨hal-03475301⟩

Share

Metrics

Les métriques sont temporairement indisponibles