Standard
Justifying All Differences Using Pseudo-Boolean Reasoning. / Elffers, Jan; Gocht, Stephan; McCreesh, Ciaran; Nordström, Jakob.
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press, 2020. p. 1486-1494.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Elffers, J, Gocht, S, McCreesh, C & Nordström, J 2020, Justifying All Differences Using Pseudo-Boolean Reasoning. in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press, pp. 1486-1494, 34th AAAI Conference on Artificial Intelligence, New York, United States, 07/02/2020.
APA
Elffers, J., Gocht, S., McCreesh, C., & Nordström, J. (2020). Justifying All Differences Using Pseudo-Boolean Reasoning. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20) (pp. 1486-1494). AAAI Press.
Vancouver
Elffers J, Gocht S, McCreesh C, Nordström J. Justifying All Differences Using Pseudo-Boolean Reasoning. In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press. 2020. p. 1486-1494
Author
Elffers, Jan ; Gocht, Stephan ; McCreesh, Ciaran ; Nordström, Jakob. / Justifying All Differences Using Pseudo-Boolean Reasoning. Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press, 2020. pp. 1486-1494
Bibtex
@inproceedings{77b4fc2d6500400f87ddd213975aaa72,
title = "Justifying All Differences Using Pseudo-Boolean Reasoning",
author = "Jan Elffers and Stephan Gocht and Ciaran McCreesh and Jakob Nordstr{\"o}m",
year = "2020",
month = feb,
day = "1",
language = "English",
pages = "1486--1494",
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 - Justifying All Differences Using Pseudo-Boolean Reasoning
AU - Elffers, Jan
AU - Gocht, Stephan
AU - McCreesh, Ciaran
AU - Nordström, Jakob
PY - 2020/2/1
Y1 - 2020/2/1
M3 - Article in proceedings
SP - 1486
EP - 1494
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 -
