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

Miquel Bofill; Jordi Coll; Peter Nightingale; Josep Suy; Felix Ulrich-Oltean; Mateu Villaret

doi:10.24963/ijcai.2023/769

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

Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 32nd International Joint Conference on Artificial Intelligence
Publisher	IJCAI/AAAI
Pages	6853-6857
ISBN (Electronic)	978-1-956792-03-4
DOIs	https://doi.org/10.24963/ijcai.2023/769
Publication status	Published - Aug 2023
Event	IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence - , Macao Duration: 19 Aug 2023 → 25 Aug 2023

Conference

Conference	IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence
Country/Territory	Macao
Period	19/08/23 → 25/08/23

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.

Access to Document

10.24963/ijcai.2023/769

IJCAI23-pbamo-abstract
This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.
Accepted author manuscript, 201 KBLicence: CC BY

Solver Feedback Loops for Automated Constraint Modelling
Nightingale, P.
EPSRC
1/04/22 → 3/04/25
Project: Research project (funded) › Research

Cite this

@inproceedings{df8375940ce34f76bdd98d7954fc79be,

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

author = "Miquel Bofill and Jordi Coll and Peter Nightingale and Josep Suy and Felix Ulrich-Oltean and Mateu Villaret",

note = "This is an author-produced version of the published paper. Uploaded in accordance with the University{\textquoteright}s Research Publications and Open Access policy. ; IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence ; Conference date: 19-08-2023 Through 25-08-2023",

year = "2023",

month = aug,

doi = "10.24963/ijcai.2023/769",

language = "English",

pages = "6853--6857",

booktitle = "Proceedings of the 32nd International Joint Conference on Artificial Intelligence",

publisher = "IJCAI/AAAI",

}

Bofill, M, Coll, J, Nightingale, P, Suy, J, Ulrich-Oltean, F & Villaret, M 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., 769, IJCAI/AAAI, pp. 6853-6857, IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence, Macao, 19/08/23. https://doi.org/10.24963/ijcai.2023/769

TY - GEN

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

AU - Bofill, Miquel

AU - Coll, Jordi

AU - Nightingale, Peter

AU - Suy, Josep

AU - Ulrich-Oltean, Felix

AU - Villaret, Mateu

N1 - This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.

PY - 2023/8

Y1 - 2023/8

U2 - 10.24963/ijcai.2023/769

DO - 10.24963/ijcai.2023/769

M3 - Conference contribution

SP - 6853

EP - 6857

BT - Proceedings of the 32nd International Joint Conference on Artificial Intelligence

PB - IJCAI/AAAI

T2 - IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence

Y2 - 19 August 2023 through 25 August 2023

ER -

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

Conference

Bibliographical note

Access to Document

Projects

Solver Feedback Loops for Automated Constraint Modelling

Cite this