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: |
|
||||
Institution: | The University of York | ||||
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) | ||||
Funding Information: |
|
||||
Depositing User: | Pure (York) | ||||
Date Deposited: | 20 Jul 2023 10:10 | ||||
Last Modified: | 19 Apr 2024 23:05 | ||||
Published Version: | https://doi.org/10.24963/ijcai.2023/769 | ||||
Status: | Published | ||||
Publisher: | IJCAI/AAAI | ||||
Refereed: | No | ||||
Identification Number: | https://doi.org/10.24963/ijcai.2023/769 |