On the Interplay Between Proof Complexity and SAT Solving
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Standard
On the Interplay Between Proof Complexity and SAT Solving. / Nordström, Jakob.
I: ACM SIGLOG News, Bind 2, Nr. 3, 01.07.2015, s. 19-44.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Harvard
Nordström, J 2015, 'On the Interplay Between Proof Complexity and SAT Solving', ACM SIGLOG News, bind 2, nr. 3, s. 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