Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

Ansótegui, Carlos, Bofill, Miquel, Coll, Jordi et al. (7 more authors) (2019) Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. In: Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer , pp. 20-36.

Abstract

Metadata

Authors/Creators:
  • Ansótegui, Carlos
  • Bofill, Miquel
  • Coll, Jordi
  • Dang, Nguyen
  • Esteban, Juan Luis
  • Miguel, Ian James
  • Nightingale, Peter ORCID logo https://orcid.org/0000-0002-5052-8634
  • Salamon, András Z.
  • Suy, Josep
  • Villaret, Mateu
Dates:
  • Accepted: 1 July 2019
  • Published: 30 September 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 12 Jul 2019 14:10
Last Modified: 24 Oct 2021 10:45
Status: Published
Publisher: Springer
Refereed: No

Download

Filename: IJCAI19PBAMO.pdf

Description: IJCAI19PBAMO

Share / Export