Learning to select SAT encodings for pseudo-Boolean and linear integer constraints

Ulrich-Oltean, Felix orcid.org/0000-0001-5162-5826, Nightingale, Peter orcid.org/0000-0002-5052-8634 and Walker, James Alfred orcid.org/0000-0003-2174-7173 (2023) Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. Journal of Constraints. pp. 397-426. ISSN: 1383-7133

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© The Author(s) 2023.
Dates:
  • Submitted: 1 February 2023
  • Accepted: 27 September 2023
  • Published: 2 November 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/W001977/1
Date Deposited: 18 Oct 2023 09:20
Last Modified: 06 Oct 2025 14:10
Published Version: https://doi.org/10.1007/s10601-023-09364-1
Status: Published
Refereed: Yes
Identification Number: 10.1007/s10601-023-09364-1
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: s10601_023_09364_1.pdf

Description: Learning to select SAT encodings for pseudo-Boolean and linear integer constraints

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of Learning to select SAT encodings for pseudo-Boolean and linear integer constraints]

Export

Statistics


CORE (COnnecting REpositories)