A Cardinal Improvement to Pseudo-Boolean Solving
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
A Cardinal Improvement to Pseudo-Boolean Solving. / Elffers, Jan; Nordström, Jakob.
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press, 2020. s. 1495-1503.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Elffers, J & Nordström, J 2020, A Cardinal Improvement to Pseudo-Boolean Solving. i Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press, s. 1495-1503, 34th AAAI Conference on Artificial Intelligence, New York, USA, 07/02/2020.
APA
Elffers, J., & Nordström, J. (2020). A Cardinal Improvement to Pseudo-Boolean Solving. I Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20) (s. 1495-1503). AAAI Press.
Vancouver
Elffers J, Nordström J. A Cardinal Improvement to Pseudo-Boolean Solving. I Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press. 2020. s. 1495-1503
Author
Bibtex
@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",
}
RIS
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 -
ID: 251872248