Talks and Poster Presentations (with Proceedings-Entry):
M. Jakl, R. Pichler, St. Rümmele, S. Woltran:
"Fast Counting with Bounded Treewidth";
Talk: 15th Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR),
Doha, Qatar;
2008-11-22
- 2008-11-27; in: "Logic for Programming, Artificial Intelligence, and Reasoning",
I. Cervesato, H. Veith, A. Voronkov (ed.);
Springer,
5330
(2008),
ISBN: 3-540-89438-1;
436
- 450.
Created from the Publication Database of the Vienna University of Technology.