-
Notifications
You must be signed in to change notification settings - Fork 1
/
references.bib
29 lines (27 loc) · 952 Bytes
/
references.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
@inproceedings{Cook71TheComplexityOf,
author = {Stephen A. Cook},
title = {The Complexity of Theorem-Proving Procedures},
booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing ({STOC}~'71)},
pages = {151\nobreakdash--158},
year = {1971},
url = {https://doi.org/10.1145/800157.805047},
doi = {10.1145/800157.805047},
}
@article{Levin73UniversalSearchProblems,
author = {Levin, Leonid A.},
title = {Universal Search Problems},
journal = {Problems of Information Transmission},
number = {3},
volume = {9},
pages = {115\nobreakdash--116},
year = {1973},
}
@book{ST12SAT,
author = {Uwe Sch{\"{o}}ning and
Jacobo Tor{\'{a}}n},
title = {Das Erf{\"{u}}llbarkeitsproblem {SAT} -- Algorithmen und Analysen},
series = {Mathematik f{\"{u}}r Anwendungen},
volume = {1},
publisher = {Lehmann},
year = {2012},
}