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

Ulrich-Oltean, Felix, 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. ISSN 1383-7133

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © The Author(s) 2023.
Dates:
  • Submitted: 1 February 2023
  • Accepted: 27 September 2023
  • Published (online): 2 November 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
FunderGrant number
EPSRCEP/W001977/1
Depositing User: Pure (York)
Date Deposited: 18 Oct 2023 09:20
Last Modified: 17 Jan 2024 00:21
Published Version: https://doi.org/10.1007/s10601-023-09364-1
Status: Published online
Refereed: Yes
Identification Number: https://doi.org/10.1007/s10601-023-09364-1

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 [img]

Export

Statistics


CORE (COnnecting REpositories)