Publications in Scientific Journals:
A. Atserias, J. Fichte, M. Thurley:
"Clause-learning algorithms with many restarts and bounded-width resolution";
Journal of Artificial Intelligence Research,
40
(2011),
1;
353
- 373.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1613/jair.3152
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_200960.pdf
Related Projects:
Project Head Stefan Szeider:
The Parameterized Complexity of Reasoning Problems
Created from the Publication Database of the Vienna University of Technology.