SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)

Bofill, Miquel, Coll, Jordi, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (3 more authors) (2023) SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence, 19-25 Aug 2023 IJCAI/AAAI, MAC, pp. 6853-6857.

Metadata

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

This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.
Dates:
  • Accepted: 5 April 2023
  • Published: August 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: 20 Jul 2023 10:10
Last Modified: 06 Oct 2025 11:40
Published Version: https://doi.org/10.24963/ijcai.2023/769
Status: Published
Publisher: IJCAI/AAAI
Identification Number: 10.24963/ijcai.2023/769
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: IJCAI23_pbamo_abstract.pdf

Description: IJCAI23-pbamo-abstract

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of IJCAI23-pbamo-abstract]

Export

Statistics


CORE (COnnecting REpositories)