On the Interplay Between Proof Complexity and SAT Solving
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
On the Interplay Between Proof Complexity and SAT Solving. / Nordström, Jakob.
In: ACM SIGLOG News, Vol. 2, No. 3, 01.07.2015, p. 19-44.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Nordström, J 2015, 'On the Interplay Between Proof Complexity and SAT Solving', ACM SIGLOG News, vol. 2, no. 3, pp. 19-44.
APA
Nordström, J. (2015). On the Interplay Between Proof Complexity and SAT Solving. ACM SIGLOG News, 2(3), 19-44.
Vancouver
Nordström J. On the Interplay Between Proof Complexity and SAT Solving. ACM SIGLOG News. 2015 Jul 1;2(3):19-44.
Author
Bibtex
@article{ad81c40fa7634a4895e670a27040a975,
title = "On the Interplay Between Proof Complexity and SAT Solving",
author = "Jakob Nordstr{\"o}m",
year = "2015",
month = jul,
day = "1",
language = "English",
volume = "2",
pages = "19--44",
journal = "ACM SIGLOG News",
number = "3",
}
RIS
TY - JOUR
T1 - On the Interplay Between Proof Complexity and SAT Solving
AU - Nordström, Jakob
PY - 2015/7/1
Y1 - 2015/7/1
M3 - Journal article
VL - 2
SP - 19
EP - 44
JO - ACM SIGLOG News
JF - ACM SIGLOG News
IS - 3
ER -
ID: 251872169