A Cardinal Improvement to Pseudo-Boolean Solving

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

9 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20)
Number of pages	9
Publisher	AAAI Press
Publication date	1 Feb 2020
Pages	1495-1503
Publication status	Published - 1 Feb 2020
Event	34th AAAI Conference on Artificial Intelligence - New York, United States Duration: 7 Feb 2020 → 12 Jan 2021

Conference	34th AAAI Conference on Artificial Intelligence
Country/Territory	United States
City	New York
Period	07/02/2020 → 12/01/2021

Cite this

@inproceedings{a1ce0cc70d1d4c719d5b48dfd1d74dad,

title = "A Cardinal Improvement to Pseudo-Boolean Solving",

author = "Jan Elffers and Jakob Nordstr{\"o}m",

year = "2020",

month = feb,

day = "1",

language = "English",

pages = "1495--1503",

booktitle = "Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20)",

publisher = "AAAI Press",

note = "34th AAAI Conference on Artificial Intelligence, AAAI-20 ; Conference date: 07-02-2020 Through 12-01-2021",

}

TY - GEN

T1 - A Cardinal Improvement to Pseudo-Boolean Solving

AU - Elffers, Jan

AU - Nordström, Jakob

PY - 2020/2/1

Y1 - 2020/2/1

M3 - Article in proceedings

SP - 1495

EP - 1503

BT - Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20)

PB - AAAI Press

T2 - 34th AAAI Conference on Artificial Intelligence

Y2 - 7 February 2020 through 12 January 2021

ER -